Revision 7065d912 - Moved mk_fresh_var from normalization to corelang - LustreC

« Previous | Next »

Revision 7065d912

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

ID 7065d912c5e8b53c0a43363826ea5a899e4e5bdd
Parent 8926852f
Child 68322df3

Moved mk_fresh_var from normalization to corelang

added
modified
copied
renamed
deleted

src
- corelang.ml (diff)
- corelang.mli (diff)
- normalization.ml (diff)