diff -r 5e8a0b8bb070 -r 52fd62618631 src/Tools/Code/code_namespace.ML
--- a/src/Tools/Code/code_namespace.ML	Sat May 11 16:13:08 2013 +0200
+++ b/src/Tools/Code/code_namespace.ML	Sat May 11 16:57:18 2013 +0200
@@ -125,7 +125,7 @@
           Long_Name.append (fst (dest_name name)) (base_deresolver name)
       | deresolver module_name name =
           the (Symtab.lookup (the (Symtab.lookup deresolver_tab module_name)) name)
-          handle Option => error ("Unknown statement name: " ^ labelled_name name);
+          handle Option.Option => error ("Unknown statement name: " ^ labelled_name name);
 
   in { deresolver = deresolver, flat_program = flat_program } end;