diff options
author | MichalMoskal <unknown> | 2010-02-19 22:17:39 +0000 |
---|---|---|
committer | MichalMoskal <unknown> | 2010-02-19 22:17:39 +0000 |
commit | 5827ea8d4d4771174a864d5425d89bec22d62fa3 (patch) | |
tree | 02522e1c475eb6cf064242aac5edbd8f61ed0d57 /Test/test2/runtest.bat | |
parent | 1127ea8d8037278415fa5cb2d8917d972b122983 (diff) |
Fix up the polymorphic case for lambda; it probably still isn't quite correct.
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 ea4376b6..f472741c 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 Lambda.bpl) do (
+ IfThenElse1.bpl Lambda.bpl LambdaPoly.bpl) do (
echo.
echo -------------------- %%f --------------------
%BGEXE% %* /noinfer %%f
|