diff options
Diffstat (limited to '044space.cc')
| -rw-r--r-- | 044space.cc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/044space.cc b/044space.cc index 57faa054..ed074336 100644 --- a/044space.cc +++ b/044space.cc @@ -192,7 +192,8 @@ void rewrite_default_space_instruction(instruction& curr) { //:: helpers :(code) -long long int space_base(const reagent& x) { // temporary +long long int space_base(const reagent& x) { + // temporary stub; will be replaced in a later layer return current_call().default_space; } |