Changeset 30 for vis_dev/vis-2.3/src/debug/debugUtilities.c

Timestamp:

Dec 8, 2011, 4:38:48 PM (13 years ago)

Author:

cecile

Message:

We can now change the transition relation

File:

• vis_dev/vis-2.3/src/debug/debugUtilities.c (modified) (1 diff)

vis_dev/vis-2.3/src/debug/debugUtilities.c

@@ -60 +60 @@
   return;
 }
-