From 6b2e8be53f0839809a2f76df0754b37a7e56db08 Mon Sep 17 00:00:00 2001 From: Tim King Date: Fri, 6 Nov 2015 22:53:53 -0800 Subject: Changing file permissions to add or remove executable tag as appropriate. --- src/theory/datatypes/type_enumerator.cpp | 0 src/theory/quantifiers/alpha_equivalence.cpp | 0 src/theory/quantifiers/alpha_equivalence.h | 0 src/theory/quantifiers/quant_equality_engine.cpp | 0 src/theory/quantifiers/quant_equality_engine.h | 0 5 files changed, 0 insertions(+), 0 deletions(-) mode change 100755 => 100644 src/theory/datatypes/type_enumerator.cpp mode change 100755 => 100644 src/theory/quantifiers/alpha_equivalence.cpp mode change 100755 => 100644 src/theory/quantifiers/alpha_equivalence.h mode change 100755 => 100644 src/theory/quantifiers/quant_equality_engine.cpp mode change 100755 => 100644 src/theory/quantifiers/quant_equality_engine.h (limited to 'src/theory') diff --git a/src/theory/datatypes/type_enumerator.cpp b/src/theory/datatypes/type_enumerator.cpp old mode 100755 new mode 100644 diff --git a/src/theory/quantifiers/alpha_equivalence.cpp b/src/theory/quantifiers/alpha_equivalence.cpp old mode 100755 new mode 100644 diff --git a/src/theory/quantifiers/alpha_equivalence.h b/src/theory/quantifiers/alpha_equivalence.h old mode 100755 new mode 100644 diff --git a/src/theory/quantifiers/quant_equality_engine.cpp b/src/theory/quantifiers/quant_equality_engine.cpp old mode 100755 new mode 100644 diff --git a/src/theory/quantifiers/quant_equality_engine.h b/src/theory/quantifiers/quant_equality_engine.h old mode 100755 new mode 100644 -- cgit v1.2.3