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

« Previous | Next »

Revision 042dc586

ID	042dc5863c878be36eaef745c1e23a0c696cbf44
Parent	3ebf9aa2
Child	84074455, d7e04983

Added by Pierre-Loïc Garoche over 3 years ago

Revert some ocaml code to ocaml 4.01 compatibility

Files

added
modified
copied
renamed
deleted

View differences

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