diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2015-05-16 21:24:21 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2015-05-16 21:24:21 -0700 |
| commit | 0f125d5ff163fafbf5531ce9f54f1021f0277b10 (patch) | |
| tree | d4164b01d145a319fbd6fdb8ae9b58ea1042a607 /047jump_label.cc | |
| parent | c3779a7849804756c22912f8cfb6178863d82fb9 (diff) | |
| download | mu-0f125d5ff163fafbf5531ce9f54f1021f0277b10.tar.gz | |
1387
Diffstat (limited to '047jump_label.cc')
| -rw-r--r-- | 047jump_label.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/047jump_label.cc b/047jump_label.cc index 3158233b..81a9d123 100644 --- a/047jump_label.cc +++ b/047jump_label.cc @@ -51,7 +51,7 @@ void replace_offset(reagent& x, /*const*/ map<string, index_t>& offset, const in //? cerr << "BBB " << x.to_string() << '\n'; //? 1 assert(!x.initialized); //? cerr << "CCC " << x.to_string() << '\n'; //? 1 - if (is_number(x.name)) return; // non-labels will be handled like other number operands + if (is_integer(x.name)) return; // non-labels will be handled like other number operands //? cerr << "DDD " << x.to_string() << '\n'; //? 1 if (offset.find(x.name) == offset.end()) raise << "can't find label " << x.name << " in routine " << Recipe[r].name << '\n'; |