diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-11-05T15·34+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-11-05T15·34+0000 |
| commit | 80bb477cc4ea5226ae760726730b3e09d21559de (patch) | |
| tree | 148773dc1fc90edb88cb2128f2db164ae5b06753 /src/fix-ng/fix-expr.cc | |
| parent | 0690c1c9c01dd5889dbfccf2da6cb99f5c4e151b (diff) | |
* Default function arguments.
Diffstat (limited to 'src/fix-ng/fix-expr.cc')
| -rw-r--r-- | src/fix-ng/fix-expr.cc | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/fix-ng/fix-expr.cc b/src/fix-ng/fix-expr.cc index 814e186b410c..6e73b29341ff 100644 --- a/src/fix-ng/fix-expr.cc +++ b/src/fix-ng/fix-expr.cc @@ -171,7 +171,10 @@ Expr substitute(const ATermMap & subs, Expr e) ATermMap subs2(subs); ATermList fs = formals; while (!ATisEmpty(fs)) { - if (!ATmatch(ATgetFirst(fs), "<str>", &s)) abort(); + Expr def; + if (!ATmatch(ATgetFirst(fs), "NoDefFormal(<str>)", &s) && + !ATmatch(ATgetFirst(fs), "DefFormal(<str>, <term>)", &s)) + abort(); subs2.remove(s); fs = ATgetNext(fs); } |