Revision 13aec2da - [main] enum typedef in C use the original lustre filename as identifier. This... - LustreC

« Previous | Next »

Revision 13aec2da

Added by Pierre-Loïc Garoche about 7 years ago

ID 13aec2dadb7dcac5004e291cfea7bb6a35005fcf
Parent 5487dd79
Child 94cf0fc5

[main] enum typedef in C use the original lustre filename as identifier. This commit cleans the filename to remove dots.

added
modified
copied
renamed
deleted

src
- backends
  - C
    - c_backend_common.ml (diff)
    - c_backend_header.ml (diff)