From b468bb361f8b98bcb6b9d0febab4f285a6a872b3 Mon Sep 17 00:00:00 2001 From: Tim King Date: Thu, 13 Oct 2016 00:22:24 -0700 Subject: Revert "Merge branch 'origin' of https://github.com/CVC4/CVC4.git" This reverts commit 3395c5c13cd61d98aec0d9806e3b9bc3d707968a, reversing changes made to 5f415d4585134612bc24e9a823289fee35541a01. --- src/theory/quantifiers/macros.cpp | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100755 => 100644 src/theory/quantifiers/macros.cpp (limited to 'src/theory/quantifiers/macros.cpp') diff --git a/src/theory/quantifiers/macros.cpp b/src/theory/quantifiers/macros.cpp old mode 100755 new mode 100644 -- cgit v1.2.3