From 827898fc1b41e1974bf4ec2eebbd97fe23ff3d08 Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Tue, 12 May 2015 17:00:56 -0700
Subject: 1357 - temporarily revert floating-point support

---
 043space.cc | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to '043space.cc')

diff --git a/043space.cc b/043space.cc
index 24d63505..b0ee7f85 100644
--- a/043space.cc
+++ b/043space.cc
@@ -42,7 +42,7 @@ reagent absolutize(reagent x) {
 //?   cout << "not raw: " << x.to_string() << '\n'; //? 1
   assert(x.initialized);
   reagent r = x;
-  r.set_value(mu_integer(address(r.value, space_base(r))));  // must be a positive integer
+  r.set_value(address(r.value, space_base(r)));
 //?   cout << "after absolutize: " << r.value << '\n'; //? 1
   r.properties.push_back(pair<string, vector<string> >("raw", vector<string>()));
   assert(is_raw(r));
@@ -100,11 +100,11 @@ index_t space_base(const reagent& x) {
 index_t address(index_t offset, index_t base) {
   if (base == 0) return offset;  // raw
 //?   cout << base << '\n'; //? 2
-  if (value(offset) >= value(Memory[base])) {
+  if (offset >= static_cast<index_t>(Memory[base])) {
     // todo: test
-    raise << "location " << value(offset) << " is out of bounds " << value(Memory[base]) << '\n';
+    raise << "location " << offset << " is out of bounds " << Memory[base] << '\n';
   }
-  return value(base)+1 + value(offset);
+  return base+1 + offset;
 }
 
 :(after "void write_memory(reagent x, vector<long long int> data)")
-- 
cgit 1.4.1-2-gfad0