src/Pure/Syntax/lexicon.ML
changeset 5513 3896c7894a57
parent 5286 cfb74a99182c
child 5860 ed11c9890852
--- a/src/Pure/Syntax/lexicon.ML	Mon Sep 21 10:43:09 1998 +0200
+++ b/src/Pure/Syntax/lexicon.ML	Mon Sep 21 10:43:54 1998 +0200
@@ -94,7 +94,7 @@
 val scan_tid = $$ "'" ^^ scan_id;
 
 val scan_nat = scan_digits1 >> implode;
-val scan_int = $$ "~" ^^ scan_nat || scan_nat;
+val scan_int = $$ "-" ^^ scan_nat || scan_nat;
 
 val scan_id_nat = scan_id ^^ Scan.optional ($$ "." ^^ scan_nat) "";
 val scan_var = $$ "?" ^^ scan_id_nat;