# HG changeset patch
# User Nina Engelhardt <nengel@mailbox.tu-berlin.de>
# Date 1347872827 -7200
# Node ID 58a71af04cd1515806e636189bd475b72761e85d
# Parent  c9606ea7abc860746ec7bb508a42c8d7ffc9d807
version for Tamer

diff -r c9606ea7abc8 -r 58a71af04cd1 VSs.h
--- a/VSs.h	Tue Sep 11 17:51:05 2012 +0200
+++ b/VSs.h	Mon Sep 17 11:07:07 2012 +0200
@@ -19,8 +19,8 @@
  * But counter recording still functional, can build constraintless display
  * with wallclock time
  */
-//#define EXTERNAL_SCHEDULER
-//#define SIMULATE_EXTERNAL_SCHEDULER
+#define EXTERNAL_SCHEDULER
+#define SIMULATE_EXTERNAL_SCHEDULER
 
 //===========================================================================
 #define NUM_STRUCS_IN_SEM_ENV 1000