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

« Previous | Next »

Revision 7065d912

ID	7065d912c5e8b53c0a43363826ea5a899e4e5bdd
Parent	8926852f
Child	68322df3

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

Moved mk_fresh_var from normalization to corelang

Files

added
modified
copied
renamed
deleted

View differences

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