diff options
| -rw-r--r-- | test-suite/output/Fixpoint.out | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test-suite/output/Fixpoint.out b/test-suite/output/Fixpoint.out index 5af28a5aff..62c9d3952a 100644 --- a/test-suite/output/Fixpoint.out +++ b/test-suite/output/Fixpoint.out @@ -5,7 +5,7 @@ list B := match l with end : forall A B : Set, (A -> B) -> list A -> list B let fix f (m : nat) : nat := match m with - | O => 0 + | 0 => 0 | S m' => f m' end in f 0 : nat |