From e92b4504d5930234c852bf0fba8f5663ad4809e7 Mon Sep 17 00:00:00 2001
From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Tue, 6 Apr 2021 11:23:44 -0500
Subject: Fix tptp parser for negative rational (#6297)

---
 src/parser/tptp/Tptp.g | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src')

diff --git a/src/parser/tptp/Tptp.g b/src/parser/tptp/Tptp.g
index f6b845212..0f21cdb20 100644
--- a/src/parser/tptp/Tptp.g
+++ b/src/parser/tptp/Tptp.g
@@ -1764,6 +1764,7 @@ NUMBER
       }
     | SIGN[pos]? num=DECIMAL SLASH den=DECIMAL
       { std::stringstream ss;
+        ss << ( pos ? "" : "-" );
         ss << AntlrInput::tokenText($num) << "/" << AntlrInput::tokenText($den);
         PARSER_STATE->d_tmp_expr = SOLVER->mkReal(ss.str());
       }
-- 
cgit v1.2.3