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 c4592369..ab626282 100644 --- a/test-suite/output/reduction.v +++ b/test-suite/output/reduction.v @@ -1,6 +1,6 @@ (* Test the behaviour of hnf and simpl introduced in revision *) -Variable n:nat. +Parameter n:nat. Definition a:=0. Eval simpl in (fix plus (n m : nat) {struct n} : nat := |