diff --git a/src/main/scala/leon/solvers/smtlib/SMTLIBCVC4QuantifiedTarget.scala b/src/main/scala/leon/solvers/smtlib/SMTLIBCVC4QuantifiedTarget.scala
index c6385d426be2b026da6ced35fb36a1353651473e..808a3b4db420afa13454c5c53b6edcce57af1eed 100644
--- a/src/main/scala/leon/solvers/smtlib/SMTLIBCVC4QuantifiedTarget.scala
+++ b/src/main/scala/leon/solvers/smtlib/SMTLIBCVC4QuantifiedTarget.scala
@@ -15,6 +15,8 @@ import smtlib.theories.Core.Equals
 trait SMTLIBCVC4QuantifiedTarget extends SMTLIBCVC4Target {
   this: SMTLIBSolver =>
 
+  override val targetName = "cvc4-proof"
+
   private val typedFunDefExplorationLimit = 10000
 
   override def declareFunction(tfd: TypedFunDef): SSymbol = {