diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2015-06-06 11:24:23 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2015-06-06 11:24:23 -0700 |
| commit | d7a9683017e4622a161d1b2f829232e7f509cf18 (patch) | |
| tree | 4d52aa6e916d4eb6a20efb1dc4062eeed17c18cc | |
| parent | de0a7e84726b5dfb372597d02862bdee75644d85 (diff) | |
| download | mu-d7a9683017e4622a161d1b2f829232e7f509cf18.tar.gz | |
1542 - more hacky tweaks for the repl
| -rw-r--r-- | 041name.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/041name.cc b/041name.cc index eec6aa3e..dbbf8733 100644 --- a/041name.cc +++ b/041name.cc @@ -62,7 +62,7 @@ void transform_names(const recipe_number r) { inst.products.at(out).set_value(lookup_name(inst.products.at(out), r)); } } - if (names_used && numeric_locations_used) + if (names_used && numeric_locations_used && r != Recipe_number["interactive"]) raise << "mixing variable names and numeric addresses in " << Recipe[r].name << '\n'; } |