diff options
Diffstat (limited to 'src/pretty_print_common.ml')
| -rw-r--r-- | src/pretty_print_common.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/pretty_print_common.ml b/src/pretty_print_common.ml index 9c870b05..57a06e74 100644 --- a/src/pretty_print_common.ml +++ b/src/pretty_print_common.ml @@ -228,6 +228,8 @@ let doc_typ, doc_atomic_typ, doc_nexp, doc_nexp_constraint = parens (separate space [nexp_constraint nc1; string "|"; nexp_constraint nc2]) | NC_and (nc1, nc2) -> separate space [nexp_constraint nc1; string "&"; nexp_constraint nc2] + | NC_true -> string "true" + | NC_false -> string "false" (* expose doc_typ, doc_atomic_typ, doc_nexp and doc_nexp_constraint *) in typ, atomic_typ, nexp, nexp_constraint |