From 71ee93216f9555d31c0ba43d32008b5571db9283 Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Tue, 16 Aug 2016 18:09:53 -0700
Subject: 3204

Fix CI.
---
 072scheduler.cc | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/072scheduler.cc b/072scheduler.cc
index 068e1617..de5f5ca5 100644
--- a/072scheduler.cc
+++ b/072scheduler.cc
@@ -229,10 +229,13 @@ def f2 [
 //: more complex: refcounting management when starting up new routines
 
 :(scenario start_running_immediately_updates_refcounts_of_ingredients)
+% Scheduling_interval = 1;
 def main [
   local-scope
   create-new-routine
-  switch  # make sure we run new routine before returning
+  # padding to make sure we run new-routine before returning
+  dummy:number <- copy 0
+  dummy:number <- copy 0
 ]
 def create-new-routine [
   local-scope
-- 
cgit 1.4.1-2-gfad0