src/Pure/Syntax/lexicon.ML
changeset 20091 edc96f85e069
parent 20067 26bac504ef90
child 20096 7058714024b3
--- a/src/Pure/Syntax/lexicon.ML	Tue Jul 11 12:17:30 2006 +0200
+++ b/src/Pure/Syntax/lexicon.ML	Tue Jul 11 12:22:58 2006 +0200
@@ -104,8 +104,8 @@
 val scan_nat = scan_digits1 >> implode;
 val scan_int = $$ "-" ^^ scan_nat || scan_nat;
 
-val scan_hex = ($$ "0") ^^ ($$ "x") ^^ (scan_hex1 >> implode);
-val scan_bin = ($$ "0") ^^ ($$ "b") ^^ (scan_bin1 >> implode);
+val scan_hex = $$ "0" ^^ $$ "x" ^^ (scan_hex1 >> implode);
+val scan_bin = $$ "0" ^^ $$ "b" ^^ (scan_bin1 >> implode);
 
 val scan_id_nat = scan_id ^^ Scan.optional ($$ "." ^^ scan_nat) "";
 val scan_var = $$ "?" ^^ scan_id_nat;