diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-02-06 14:07:26 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-02-06 14:07:26 +0100 |
| commit | dfba269766c54c5833023768fb156dd8f7e82554 (patch) | |
| tree | a61dae2e55aced64539b5723570035d32836c825 | |
| parent | 15e49a91f1496dd41f92a78069fe0d553ec5932b (diff) | |
| download | compcert-dfba269766c54c5833023768fb156dd8f7e82554.tar.gz compcert-dfba269766c54c5833023768fb156dd8f7e82554.zip | |
Datatypes no longer shadows fst and snd
| -rw-r--r-- | backend/CMparser.mly | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/backend/CMparser.mly b/backend/CMparser.mly index 94b50810..64943f0b 100644 --- a/backend/CMparser.mly +++ b/backend/CMparser.mly @@ -17,7 +17,7 @@ including function calls in expressions, matches, while statements, etc. */ %{ -open !Datatypes +open Datatypes open Camlcoq open BinNums open Integers |