1 files changed, 6 insertions, 0 deletions
diff --git a/src/proof/proof_node_to_sexpr.cpp b/src/proof/proof_node_to_sexpr.cpp
index e8871af34..910af3d90 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;