diff options
Diffstat (limited to 'printing/pptactic.ml')
| -rw-r--r-- | printing/pptactic.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/printing/pptactic.ml b/printing/pptactic.ml index ddb85a3626..ac06bb39f3 100644 --- a/printing/pptactic.ml +++ b/printing/pptactic.ml @@ -623,7 +623,7 @@ module Make let pr_lazy = function | General -> keyword "multi" - | Lazy -> keyword "lazy" + | Select -> keyword "lazy" | Once -> mt () let pr_match_pattern pr_pat = function |