diff options
Diffstat (limited to 'Test/test2/runtest.bat')
-rw-r--r-- | Test/test2/runtest.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/test2/runtest.bat b/Test/test2/runtest.bat index ab9ec103..ea4376b6 100644 --- a/Test/test2/runtest.bat +++ b/Test/test2/runtest.bat @@ -11,7 +11,7 @@ for %%f in (FormulaTerm.bpl FormulaTerm2.bpl Passification.bpl B.bpl strings-no-where.bpl strings-where.bpl
Structured.bpl Where.bpl UpdateExpr.bpl
NeverPattern.bpl NullaryMaps.bpl Implies.bpl
- IfThenElse1.bpl) do (
+ IfThenElse1.bpl Lambda.bpl) do (
echo.
echo -------------------- %%f --------------------
%BGEXE% %* /noinfer %%f
|