
diff -r 9ce66839d9f1 -r 75ba582dd6e9 src/HOL/Integ/IntArith.thy
--- a/src/HOL/Integ/IntArith.thy	Mon Dec 18 08:21:27 2006 +0100
+++ b/src/HOL/Integ/IntArith.thy	Mon Dec 18 08:21:28 2006 +0100
@@ -407,7 +407,7 @@
   (SML "_"
      and "0/ :/ IntInf.int"
      and "~1/ :/ IntInf.int"
-     and "(_; _; raise FAIL \"BIT\")"
+     and "(_; _; raise Fail \"BIT\")"
      and "IntInf.+/ (_,/ 1)"
      and "IntInf.-/ (_,/ 1))")
   (Haskell "_"




