From c83ce8f341f88bbffcae8fd2bfbed5c33abf4f66 Mon Sep 17 00:00:00 2001
From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Wed, 12 Jun 2019 09:07:00 -0700
Subject: Refactor parser to define fewer tokens for symbols (#2936)

---
 test/regress/regress0/nl/nta/real-pi.smt2 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test/regress/regress0/nl')

diff --git a/test/regress/regress0/nl/nta/real-pi.smt2 b/test/regress/regress0/nl/nta/real-pi.smt2
index a303f48b1..4163e09f9 100644
--- a/test/regress/regress0/nl/nta/real-pi.smt2
+++ b/test/regress/regress0/nl/nta/real-pi.smt2
@@ -1,6 +1,6 @@
 ; COMMAND-LINE: --nl-ext --no-check-models
 ; EXPECT: sat
-(set-logic QF_NRA)
+(set-logic QF_NRAT)
 (set-info :status sat)
 (assert (<= 3.0 real.pi))
 (assert (<= real.pi 4.0))
-- 
cgit v1.2.3