src/Pure/variable.ML

--- a/src/Pure/variable.ML	Mon Dec 28 16:13:15 2015 +0100
+++ b/src/Pure/variable.ML	Mon Dec 28 16:29:39 2015 +0100
@@ -409,7 +409,9 @@
   else
     let
       val proper = Config.get ctxt proper_fixes;
-      val context = Context.Proof ctxt |> Name_Space.map_naming (K Name_Space.global_naming);
+      val context = Context.Proof ctxt
+        |> Name_Space.map_naming (K Name_Space.global_naming)
+        |> Context_Position.set_visible_generic false;
     in
       ctxt
       |> map_fixes