From aa56b61ba7da2490a5cd91876542510c1b820f65 Mon Sep 17 00:00:00 2001 From: trevor_hansen Date: Mon, 11 Feb 2013 12:49:20 +0000 Subject: [PATCH] Print out SBVMOD Nodes. Thanks to Jingyue Wu. git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1671 e59a4935-1847-0410-ae03-e826735625c1 --- src/printer/PLPrinter.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/printer/PLPrinter.cpp b/src/printer/PLPrinter.cpp index 45afe48..e510294 100644 --- a/src/printer/PLPrinter.cpp +++ b/src/printer/PLPrinter.cpp @@ -38,6 +38,7 @@ string functionToCVCName(const Kind k) { case BVPLUS: case SBVDIV: case SBVREM: + case SBVMOD: case BVDIV: case BVMOD: return _kind_names[k]; @@ -188,6 +189,7 @@ string functionToCVCName(const Kind k) { case BVPLUS: case SBVDIV: case SBVREM: + case SBVMOD: case BVDIV: case BVMOD: os << functionToCVCName(kind) << "("; -- 2.47.3