diff options
| -rw-r--r-- | test-suite/output/ltac.out | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test-suite/output/ltac.out b/test-suite/output/ltac.out index c5d58ec1ec..7f3cdad6ce 100644 --- a/test-suite/output/ltac.out +++ b/test-suite/output/ltac.out @@ -32,7 +32,7 @@ nat 0 0 Ltac foo := - let x := intros ** in + let x := intros in let y := intros -> in let v := constr:(nil) in let w := () in |