1357 - temporarily revert floating-point support

1 files changed, 2 insertions, 2 deletions

diff --git a/038scheduler.cc b/038scheduler.cc
index 64889f31..99ced920 100644
--- a/038scheduler.cc
+++ b/038scheduler.cc
@@ -135,7 +135,7 @@ case START_RUNNING: {
     new_routine->calls.top().ingredient_atoms.push_back(ingredients.at(i));
   Routines.push_back(new_routine);
   products.resize(1);
-  products.at(0).push_back(new_routine->id);  // routine ids are positive integers
+  products.at(0).push_back(new_routine->id);
   break;
 }
 
@@ -301,7 +301,7 @@ case ROUTINE_STATE: {
     }
   }
   products.resize(1);
-  products.at(0).push_back(result);  // routine states are positive integers
+  products.at(0).push_back(result);
   break;
 }