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.
---
 test-suite/Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'test-suite/Makefile')

diff --git a/test-suite/Makefile b/test-suite/Makefile
index b8aac8b6f8..f5ec80bcfc 100644
--- a/test-suite/Makefile
+++ b/test-suite/Makefile
@@ -106,7 +106,8 @@ SUBSYSTEMS := $(VSUBSYSTEMS) misc bugs ide vio coqchk coqwc coq-makefile unit-te
 
 PREREQUISITELOG = prerequisite/admit.v.log			\
   prerequisite/make_local.v.log prerequisite/make_notation.v.log \
-  prerequisite/bind_univs.v.log
+  prerequisite/bind_univs.v.log prerequisite/module_bug8416.v.log \
+  prerequisite/module_bug7192.v.log
 
 #######################################################################
 # Phony targets
-- 
cgit v1.2.3