diff options
| -rw-r--r-- | test-suite/success/if.v | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test-suite/success/if.v b/test-suite/success/if.v index 6c3b6d2211..85cd1f11b8 100644 --- a/test-suite/success/if.v +++ b/test-suite/success/if.v @@ -2,3 +2,4 @@ (* universes are not cautiously treated *) Check [b:bool]if b then Type else nat. + |