Revision 042dc586 - Revert some ocaml code to ocaml 4.01 compatibility - LustreC

« Previous | Next »

Revision 042dc586

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

ID 042dc5863c878be36eaef745c1e23a0c696cbf44
Parent 3ebf9aa2
Child 84074455, d7e04983

Revert some ocaml code to ocaml 4.01 compatibility

added
modified
copied
renamed
deleted

src
- Makefile (diff)
- backends
  - C
    - c_backend_common.ml (diff)
  - Horn
    - horn_backend.ml (diff)