From 899f3eb1f65ad2e6a3fababa0213ac63e2501bbe Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Wed, 5 Sep 2018 21:56:06 +0200
Subject: Fixing #8416 (Print Assumptions missing module information from
 compiled files).

This fixes the fix 1522b989 to #7192.

The remaining Not_found after 1522b989 should have rung a bell that
something was still strange.
---
 vernac/assumptions.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'vernac')

diff --git a/vernac/assumptions.ml b/vernac/assumptions.ml
index 765f962e99..e5d2382e46 100644
--- a/vernac/assumptions.ml
+++ b/vernac/assumptions.ml
@@ -70,7 +70,7 @@ let rec fields_of_functor f subs mp0 args = function
 
 let rec lookup_module_in_impl mp =
     match mp with
-    | MPfile _ -> raise Not_found
+    | MPfile _ -> Global.lookup_module mp
     | MPbound _ -> assert false
     | MPdot (mp',lab') ->
        if ModPath.equal mp' (Global.current_modpath ()) then
-- 
cgit v1.2.3