From cbf99fdd92c483e70e3b73feb9d368d4bf632a24 Mon Sep 17 00:00:00 2001
From: Alex Ozdemir <aozdemir@hmc.edu>
Date: Mon, 10 Feb 2020 18:32:20 -0800
Subject: Implement LFSCArithProof::equalityType. (#3740)

Also, missed an armType use.
---
 src/proof/theory_proof.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/proof/theory_proof.cpp')

diff --git a/src/proof/theory_proof.cpp b/src/proof/theory_proof.cpp
index b516c250f..88a53062a 100644
--- a/src/proof/theory_proof.cpp
+++ b/src/proof/theory_proof.cpp
@@ -971,7 +971,7 @@ void LFSCTheoryProofEngine::printCoreTerm(Expr term,
     }
     else
     {
-      printBoundTerm(term[2], os, map);
+      printBoundTerm(term[2], os, map, armType);
     }
     os << ")";
     return;
-- 
cgit v1.2.3