diff options
Diffstat (limited to 'test/regress/CMakeLists.txt')
-rw-r--r-- | test/regress/CMakeLists.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/regress/CMakeLists.txt b/test/regress/CMakeLists.txt index 49b7b0543..0c42c09e4 100644 --- a/test/regress/CMakeLists.txt +++ b/test/regress/CMakeLists.txt @@ -1198,6 +1198,7 @@ set(regress_0_tests regress0/tptp/MGT019+2.p regress0/tptp/MGT041-2.p regress0/tptp/PUZ131_1.p + regress0/tptp/parse-neg-rational.p regress0/tptp/SYN000_1.p regress0/tptp/SYN000_2.p regress0/tptp/SYN000-1.p |