]> git.tuebingen.mpg.de Git - lopsub.git/blobdiff - lopsubgen.l
lopsub-1.0.5
[lopsub.git] / lopsubgen.l
index eaed3ecc5538ff8bfdcef8be80117e4b419aa250..b82ad3f731ea6b7701f0efacb6556acd3ae1e25b 100644 (file)
@@ -1,7 +1,7 @@
 /*
  * Copyright (C) 2016 Andre Noll <maan@tuebingen.mpg.de>
  *
- * Licensed under the GPL v3, see http://www.gnu.org/licenses/gpl-3.0.html
+ * Licensed under the GPL v3, see https://www.gnu.org/licenses/gpl-3.0.html
  */
 
 %option stack
@@ -408,7 +408,7 @@ SIMPLE_STRING [[:alnum:]]([[:alnum:]]|[[:space:]])*
                exit(EXIT_FAILURE);
        }
        if (CUROPT.default_val) {
-               fprintf(stderr, "value list must preceed default value\n");
+               fprintf(stderr, "value list must precede default value\n");
                exit(EXIT_FAILURE);
        }
        BEGIN(SC_VALUES_ID);