diff options
Diffstat (limited to 'cfrontend/CPragmas.ml')
-rw-r--r-- | cfrontend/CPragmas.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/cfrontend/CPragmas.ml b/cfrontend/CPragmas.ml index 4b4c0f1b..63bd3f9f 100644 --- a/cfrontend/CPragmas.ml +++ b/cfrontend/CPragmas.ml @@ -17,7 +17,6 @@ open Printf open Camlcoq -open Cparser (* #pragma section *) |