  	rm -f *~ gmon.out cscope.out
  	rm -f *.bbg *.bb *.da *.c.gcov
  	rm -f config.h Makefile options.c
-diff -ruN quantor-3.2/quantor.c quantor3.2_ipasir/quantor.c
---- quantor-3.2/quantor.c	2014-10-26 10:40:21.000000000 +0100
-+++ quantor3.2_ipasir/quantor.c	2016-04-05 23:06:15.360029497 +0200
+--- quantor-3.2/quantor.c
++++ quantor3.2_ipasir/quantor.c
 @@ -48,6 +48,7 @@
  
  #include "config.h"

 
 QuantorResult
 quantor_sat (Quantor * quantor)
diff -ruN quantor-3.2/quantor.h quantor3.2_ipasir/quantor.h
--- quantor-3.2/quantor.h	2014-10-26 10:40:21.000000000 +0100
+++ quantor3.2_ipasir/quantor.h	2016-04-05 22:33:15.771284832 +0200
@@ -72,6 +72,7 @@
 const char *quantor_id (void);
 const char *quantor_copyright (void);

 
 /*------------------------------------------------------------------------*/
 
--- quantor-3.2/VERSION
+++ quantor3.2_ipasir/VERSION
@@ -1 +1 @@
-3.2
+3.2 (IPASIR patch)
