From 60243e461f2d1e393265f46fcd290b0a64a0b1c4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Blanqui?= <frederic.blanqui@inria.fr>
Date: Wed, 15 Mar 2023 17:58:55 +0100
Subject: [PATCH] wip

---
 tests/dtrees.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/dtrees.sh b/tests/dtrees.sh
index 29bca0503..7ada1a09b 100755
--- 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