Project

General

Profile

« Previous | Next » 

Revision 5775ac97

ID5775ac97f707654a55d07c578a62aad56f6c5a72
Parent f2b37275
Child aa3240b6

Added by Xavier Thirioux almost 4 years ago

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

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences