From 6e0a9a6ad6d5022e1214a4f38348e3a8f82d45a2 Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Thu, 4 Apr 2019 20:14:29 +0200
Subject: no output on success in test_suite/hierarchy_test.v (#323)

---
 etc/utils/hierarchy_test.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'etc/utils')

diff --git a/etc/utils/hierarchy_test.py b/etc/utils/hierarchy_test.py
index 30de3e6..79e065c 100644
--- a/etc/utils/hierarchy_test.py
+++ b/etc/utils/hierarchy_test.py
@@ -31,7 +31,7 @@ def print_common_children_coq_check(G):
             print ("Local Notation \"" + x + ".type\" := (" + x + ".type _).")
     print ("")
     for (x, y) in common_children(G):
-        print ("Check erefl : (_ : " + x + ".type) = (_ : " + y + ".type) :> Type.")
+        print ("Goal False. have := erefl : (_ : " + x + ".type) = (_ : " + y + ".type) :> Type. Abort.")
 
 def main():
     parser = argparse.ArgumentParser(description='Generate a check .v file \
-- 
cgit v1.2.3