X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=src%2Fcmdline.ml;h=b155298e7df70017257a9de1bee5e0f88b1dc417;hb=3ed50d510dbab127125a8af9f72554c2dec72ef5;hp=cc20d76233aa2aa1e93b26027b7cbc726c83895e;hpb=3a94d620b1c135342c9f88ae943f256b9a9f96c9;p=goals.git

diff --git a/src/cmdline.ml b/src/cmdline.ml
index cc20d76..b155298 100644
--- a/src/cmdline.ml
+++ b/src/cmdline.ml
@@ -23,7 +23,7 @@ open Utils
 
 (* See also "let id" in [lexer.mll]. *)
 let var_regexp =
-  Str.regexp "\\([a-zA-Z_][a-zA-Z0-9_]*\\)[ \t]*=[ \t]*\\(.*\\)"
+  Str.regexp "\\([a-zA-Z_][-a-zA-Z0-9_]*\\)[ \t]*=[ \t]*\\(.*\\)"
 
 let usage =
   "\