diff options
Diffstat (limited to 'src/PrintPure.ml')
| -rw-r--r-- | src/PrintPure.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/PrintPure.ml b/src/PrintPure.ml index e96edeed..65b151a3 100644 --- a/src/PrintPure.ml +++ b/src/PrintPure.ml @@ -189,6 +189,7 @@ let type_decl_to_string (fmt : type_formatter) (def : type_decl) : string = in let variants = String.concat "\n" variants in "enum " ^ name ^ params ^ " =\n" ^ variants + | Opaque -> "opaque type " ^ name ^ params let var_to_string (fmt : type_formatter) (v : var) : string = let varname = |