Fix stats

2 files changed, 6 insertions, 2 deletions

diff --git a/src/proof/proof_node_to_sexpr.cpp b/src/proof/proof_node_to_sexpr.cpp
index 67a43fedc..082c3ab94 100644
--- a/src/proof/proof_node_to_sexpr.cpp
+++ b/src/proof/proof_node_to_sexpr.cpp
@@ -297,6 +297,12 @@ ProofNodeToSExpr::ArgFormat ProofNodeToSExpr::getArgumentFormat(
       }
     }
     break;
+    case PfRule::ANNOTATION:
+      if (i==0)
+      {
+        return ArgFormat::INFERENCE_ID;
+      }
+      break;
     default: break;
   }
   return ArgFormat::DEFAULT;
diff --git a/src/proof/proof_node_updater.cpp b/src/proof/proof_node_updater.cpp
index f03520995..561d4a761 100644
--- a/src/proof/proof_node_updater.cpp
+++ b/src/proof/proof_node_updater.cpp
@@ -109,8 +109,6 @@ void ProofNodeUpdater::processInternal(std::shared_ptr<ProofNode> pf,
         itc = resCache.find(res);
         if (itc != resCache.end())
         {
-          Trace("ajr-temp") << "Update: " << *cur.get() << std::endl;
-          Trace("ajr-temp") << "New: " << *itc->second.get() << std::endl;
           // already have a proof, merge it into this one
           visited[cur] = true;
           d_pnm->updateNode(cur.get(), itc->second.get());