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/Provers/Arith/fast_lin_arith.ML
changeset 15660 255055554c67
parent 15570 8d8c70b41bab
child 15922 7ef183f3fc98 
--- a/src/Provers/Arith/fast_lin_arith.ML	Wed Apr 06 18:13:30 2005 +0200
+++ b/src/Provers/Arith/fast_lin_arith.ML	Thu Apr 07 09:24:35 2005 +0200
@@ -439,7 +439,7 @@
         case add2 thm1 thm2 of
           NONE => (case try_add ([thm1] RL inj_thms) thm2 of
                      NONE => ( valOf(try_add ([thm2] RL inj_thms) thm1)
-                               handle OPTION =>
+                               handle Option =>
                                (trace_thm "" thm1; trace_thm "" thm2;
                                 sys_error "Lin.arith. failed to add thms")
                              )
isabelle