-
Erwan Jahier authored
Parent-Version: 0.70 Version-Log: automata.ml,mli: env.ml,mli: ima_exe.ml,mli: lurette.ml,mli: Fix a bug where the control expr were evaluated twice, which migth produce strange behavior whenever a CS var was drawn to 0 in the place, and a value different from 0 in the second place. The fix consist in attaching the control.state at automata.t leaves, instead of the control expr labels (which was a bit silly BTW). show_env.ml: Fix a small bug in the dot output. Project-Description: Lurette
562a6ed5