diff options
Diffstat (limited to 'cfrontend/PrintCsyntax.ml')
-rw-r--r-- | cfrontend/PrintCsyntax.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/cfrontend/PrintCsyntax.ml b/cfrontend/PrintCsyntax.ml index 2c803bbb..54903217 100644 --- a/cfrontend/PrintCsyntax.ml +++ b/cfrontend/PrintCsyntax.ml @@ -22,6 +22,8 @@ open Datatypes open Values open AST open Globalenvs +open Ctypes +open Cop open Csyntax let name_unop = function |