Removed patch for Gappa tool (verified that changes in gappa master fixed the windows crash)

1 files changed, 0 insertions, 49 deletions

diff --git a/dev/build/windows/patches_coq/gappa_tool.patch b/dev/build/windows/patches_coq/gappa_tool.patch
deleted file mode 100755
index d76b4080b7..0000000000
--- a/dev/build/windows/patches_coq/gappa_tool.patch
+++ /dev/null
@@ -1,49 +0,0 @@
-diff/patch file created on Sat, Jun 29, 2019  9:58:22 PM with:
-difftar-folder.sh tarballs/gappa_tool-f53e105cd73484fc76eb58ba24ead73be502c608.tar.gz gappa_tool-f53e105cd73484fc76eb58ba24ead73be502c608 1
-TARFILE= tarballs/gappa_tool-f53e105cd73484fc76eb58ba24ead73be502c608.tar.gz
-FOLDER= gappa_tool-f53e105cd73484fc76eb58ba24ead73be502c608
-TARSTRIP= 1
-TARPREFIX= gappa-f53e105cd73484fc76eb58ba24ead73be502c608/
-ORIGFOLDER= gappa_tool-f53e105cd73484fc76eb58ba24ead73be502c608.orig
---- gappa_tool-f53e105cd73484fc76eb58ba24ead73be502c608.orig/src/proofs/property.cpp	2019-06-17 09:39:04.000000000 +0200
-+++ gappa_tool-f53e105cd73484fc76eb58ba24ead73be502c608/src/proofs/property.cpp	2019-06-29 19:05:47.321916200 +0200
-@@ -48,7 +48,7 @@
-   new(&store) interval(i);
- }
- 
--property::property(predicated_real const &r, long i): real(r)
-+property::property(predicated_real const &r, intptr_t i): real(r)
- {
-   assert(r.pred_cst());
-   store._int = i;
---- gappa_tool-f53e105cd73484fc76eb58ba24ead73be502c608.orig/src/proofs/property.hpp	2019-06-17 09:39:04.000000000 +0200
-+++ gappa_tool-f53e105cd73484fc76eb58ba24ead73be502c608/src/proofs/property.hpp	2019-06-29 19:05:47.305946500 +0200
-@@ -55,7 +55,7 @@
- class property {
-   union store_t {
-     char _bnd[sizeof(interval)];
--    long _int;
-+    intptr_t _int;
-   };
-   store_t store;
-   interval       &_bnd()       { return *reinterpret_cast< interval       * >(&store); }
-@@ -66,16 +66,16 @@
-   { assert(real.pred_bnd()); return _bnd(); }
-   interval const &bnd() const
-   { assert(real.pred_bnd()); return _bnd(); }
--  long &cst()
-+  intptr_t &cst()
-   { assert(real.pred_cst()); return store._int; }
--  long const &cst() const
-+  intptr_t const &cst() const
-   { assert(real.pred_cst()); return store._int; }
-   property();
-   property(ast_real const *);
-   property(ast_real const *, interval const &);
-   property(predicated_real const &);
-   property(predicated_real const &, interval const &);
--  property(predicated_real const &, long);
-+  property(predicated_real const &, intptr_t);
-   property(property const &);
-   property &operator=(property const &);
-   ~property();