diff options
-rw-r--r-- | test-suite/complexity/Notations.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test-suite/complexity/Notations.v b/test-suite/complexity/Notations.v index d36d77d57..02a3c2528 100644 --- a/test-suite/complexity/Notations.v +++ b/test-suite/complexity/Notations.v @@ -7,4 +7,4 @@ Notation "'bind' x <- y ; z" :=(y (fun x => z)) (at level 99, x at Definition f (g : (nat -> nat) -> nat) := g (fun x => 0). -Check (fun g => f g). +Time Check (fun g => f g). |