wip

Deducteam · Mar 15, 2023 · 60243e4 · 60243e4
1 parent b1ba2ab
commit 60243e4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/dtrees.sh b/tests/dtrees.sh
@@ -15,7 +15,7 @@ ok() {
 
 LAMBDAPI='dune exec -- lambdapi decision-tree -v 0 -w --map-dir=tests:tests'
 
-out="$(${LAMBDAPI} tests.OK.nat.+)"
+out="$(${LAMBDAPI} tests.OK.natural.+)"
 if [ -z "$out" ]; then
     ko 'tests.OK.nat.+'
 else