src/HOL/Matrix_LP/Compute_Oracle/am_compiler.ML

                 "",
                 "end;"]
 
     in
         compiled_rewriter := NONE;      
-        use_text ML_Env.local_context
+        ML_Compiler0.use_text ML_Env.local_context
           {line = 1, file = "", verbose = false, debug = false} (!buffer);
         case !compiled_rewriter of 
             NONE => raise (Compile "cannot communicate with compiled function")
           | SOME r => (compiled_rewriter := NONE; r)
     end