diff options
Diffstat (limited to 'export/ExportCsyntax.ml')
-rw-r--r-- | export/ExportCsyntax.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/export/ExportCsyntax.ml b/export/ExportCsyntax.ml index 1d91cba5..25d8526b 100644 --- a/export/ExportCsyntax.ml +++ b/export/ExportCsyntax.ml @@ -54,6 +54,7 @@ let name_binop = function | Ogt -> "Ogt" | Ole -> "Ole" | Oge -> "Oge" + | Oexpect -> "Oexpect" let name_incr_or_decr = function | Incr -> "Incr" |