From 80bb477cc4ea5226ae760726730b3e09d21559de Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Wed, 5 Nov 2003 15:34:12 +0000
Subject: * Default function arguments.

---
 src/fix-ng/fix-expr.cc | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'src/fix-ng/fix-expr.cc')

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);
         }
-- 
cgit 1.4.1