Revision 5775ac97 - bug correction in automata.ml (order of assigned variables was not always coh... - LustreC

« Previous | Next »

Revision 5775ac97

Added by Xavier Thirioux over 8 years ago

ID 5775ac97f707654a55d07c578a62aad56f6c5a72
Parent f2b37275
Child aa3240b6

bug correction in automata.ml (order of assigned variables was not always coherent between automata branches)

added
modified
copied
renamed
deleted

src
- automata.ml (diff)