--- a/src/HOL/Tools/Predicate_Compile/code_prolog.ML Thu Mar 15 19:48:19 2012 +0100
+++ b/src/HOL/Tools/Predicate_Compile/code_prolog.ML Thu Mar 15 20:07:00 2012 +0100
@@ -1002,7 +1002,7 @@
(* renewing the values command for Prolog queries *)
val opt_print_modes =
- Scan.optional (Parse.$$$ "(" |-- Parse.!!! (Scan.repeat1 Parse.xname --| Parse.$$$ ")")) [];
+ Scan.optional (@{keyword "("} |-- Parse.!!! (Scan.repeat1 Parse.xname --| @{keyword ")"})) [];
val _ = Outer_Syntax.improper_command "values" "enumerate and print comprehensions" Keyword.diag
(opt_print_modes -- Scan.optional (Parse.nat >> SOME) NONE -- Parse.term