diff options
Diffstat (limited to 'src/interp/define.boot')
| -rw-r--r-- | src/interp/define.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/define.boot b/src/interp/define.boot index 4989ec38..b46c7474 100644 --- a/src/interp/define.boot +++ b/src/interp/define.boot @@ -1033,7 +1033,7 @@ deduceImplicitParameters(db,e) == x = nil => stackAndThrow('"Implicit parameter %1b has no visible constraint",[s]) x is [.] => nil -- OK. - stackAndThrow("Too many constraints for implicit parameter %1b",[s]) + stackAndThrow('"Too many constraints for implicit parameter %1b",[s]) dbImplicitData(db) := [subst,preds] buildConstructorCondition db == |