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/nitpick_isar.ML
changeset 51930 52fd62618631
parent 51557 4e4b56b7a3a5
child 52006 9402221f77dd 
--- a/src/HOL/Tools/Nitpick/nitpick_isar.ML	Sat May 11 16:13:08 2013 +0200
+++ b/src/HOL/Tools/Nitpick/nitpick_isar.ML	Sat May 11 16:57:18 2013 +0200
@@ -194,7 +194,7 @@
              [s] => the_default (s, s) (first_field "\<emdash>" s)
            | ["", s2] => ("-" ^ s2, "-" ^ s2)
            | [s1, s2] => (s1, s2)
-           | _ => raise Option)
+           | _ => raise Option.Option)
           |> pairself (maxed_int_from_string min_int)
       in if k1 <= k2 then k1 upto k2 else k1 downto k2 end
       handle Option.Option =>
isabelle