diff options
Diffstat (limited to 'test-suite/output/reduction.v')
-rw-r--r-- | test-suite/output/reduction.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test-suite/output/reduction.v b/test-suite/output/reduction.v index 4a460a83..c4592369 100644 --- a/test-suite/output/reduction.v +++ b/test-suite/output/reduction.v @@ -9,5 +9,5 @@ Eval simpl in (fix plus (n m : nat) {struct n} : nat := | S p => S (p + m) end) a a. -Eval hnf in match (plus (S n) O) with S n => n | _ => O end. +Eval hnf in match (plus (S n) O) with S n => n | _ => O end. |