src/Tools/Code/code_namespace.ML
changeset 51930 52fd62618631
parent 47576 b32aae03e3d6
child 52138 e21426f244aa
     1.1 --- a/src/Tools/Code/code_namespace.ML	Sat May 11 16:13:08 2013 +0200
     1.2 +++ b/src/Tools/Code/code_namespace.ML	Sat May 11 16:57:18 2013 +0200
     1.3 @@ -125,7 +125,7 @@
     1.4            Long_Name.append (fst (dest_name name)) (base_deresolver name)
     1.5        | deresolver module_name name =
     1.6            the (Symtab.lookup (the (Symtab.lookup deresolver_tab module_name)) name)
     1.7 -          handle Option => error ("Unknown statement name: " ^ labelled_name name);
     1.8 +          handle Option.Option => error ("Unknown statement name: " ^ labelled_name name);
     1.9  
    1.10    in { deresolver = deresolver, flat_program = flat_program } end;
    1.11