open ReconPrelim ReconTranslateProof;
removed second copy of exception ASSERTION;

--- a/src/HOL/Tools/ATP/recon_parse.ML	Wed Jul 13 16:07:24 2005 +0200
+++ b/src/HOL/Tools/ATP/recon_parse.ML	Wed Jul 13 16:07:25 2005 +0200
@@ -11,20 +11,16 @@
 structure Recon_Parse =
 struct
 
-exception ASSERTION of string;
+open ReconPrelim ReconTranslateProof;
 
 exception NOPARSE_WORD
 exception NOPARSE_NUM
 fun to_upper s = String.translate (Char.toString o Char.toUpper) s;
 
 fun string2int s =
-  let
-    val io = Int.fromString s
-  in
-    case io of
-      (SOME i) => i
-      | _ => raise ASSERTION "string -> int failed"
-  end
+  (case Int.fromString s of SOME i => i
+  | NONE => raise ASSERTION "string -> int failed");
+
 
 (* Parser combinators *)