Changeset 15 for vis_dev/vis-2.3/src/vm/vmInit.c

Timestamp:

Jul 13, 2011, 11:05:09 AM (13 years ago)

Author:

cecile

Message:

Vis main file for expermeriments

File:

• vis_dev/vis-2.3/src/vm/vmInit.c (modified) (2 diffs)

vis_dev/vis-2.3/src/vm/vmInit.c

@@ -105 +105 @@
   Bmc_Init();
   PureSat_Init();
+  Rob_Init();
 }
 
@@ -154 +155 @@
   ntmaig_End();
   Bmc_End();
-
+  Rob_End();
   if (vis_stdout != stdout) {  
     (void) fclose(vis_stdout);