diff options
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/utils/hierarchy_test.py | 2 |
1 files changed, 1 insertions, 1 deletions
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 \ |