From 44698305869aebbfadbf7725c56f288747f5043a Mon Sep 17 00:00:00 2001
From: "Markus N. Rabe" <MarkusRabe@users.noreply.github.com>
Date: Fri, 10 Mar 2017 00:32:05 -0800
Subject: [PATCH] Added version v1.0 to qipasir interface

---
 src/qipasir.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/qipasir.h b/src/qipasir.h
index 7d8827f..95cc5f0 100644
--- a/src/qipasir.h
+++ b/src/qipasir.h
@@ -1,6 +1,8 @@
 //
 //  qipasir.h
 //
+// QIPASIR v1.0
+//
 // A generic API for incremental QBF, derived from the API ipasir for SAT.
 //