1 files changed, 7 insertions, 1 deletions
diff --git a/src/expr/mkexpr b/src/expr/mkexpr
index a7302da26..479ef6d11 100755
--- a/src/expr/mkexpr
+++ b/src/expr/mkexpr
@@ -108,7 +108,7 @@ function endtheory {
 }
 
 function sort {
-  # sort TYPE cardinality ["comment"]
+  # sort TYPE cardinality [well-founded ground-term header | not-well-founded] ["comment"]
   lineno=${BASH_LINENO[0]}
   check_theory_seen
 }
@@ -119,6 +119,12 @@ function cardinality {
   check_theory_seen
 }
 
+function well-founded {
+  # well-founded TYPE wellfoundedness-computer [header]
+  lineno=${BASH_LINENO[0]}
+  check_theory_seen
+}
+
 function variable {
   # variable K ["comment"]
   lineno=${BASH_LINENO[0]}