Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/Nitpick/kodkod.ML
changeset 53093 503a26723c4f
parent 50488 1b3eb579e08b
child 54816 10d48c2a3e32 
--- a/src/HOL/Tools/Nitpick/kodkod.ML	Tue Aug 20 04:59:54 2013 +0200
+++ b/src/HOL/Tools/Nitpick/kodkod.ML	Tue Aug 20 11:42:50 2013 +0200
@@ -881,7 +881,7 @@
 
 val scan_nat =
   Scan.repeat1 (Scan.one Symbol.is_ascii_digit)
-  >> (the o Int.fromString o space_implode "")
+  >> (the o Int.fromString o implode)
 val scan_rel_name =
   ($$ "s" |-- scan_nat >> pair 1
    || $$ "r" |-- scan_nat >> pair 2
isabelle