From 22601bce9648a8e784527e4e5d176f634d234797 Mon Sep 17 00:00:00 2001 From: Clark Barrett Date: Tue, 21 Apr 2015 14:30:51 -0700 Subject: Fix file permissions --- src/theory/quantifiers/conjecture_generator.cpp | 0 src/theory/quantifiers/conjecture_generator.h | 0 src/theory/quantifiers/quant_conflict_find.cpp | 0 src/theory/quantifiers/quant_conflict_find.h | 0 4 files changed, 0 insertions(+), 0 deletions(-) mode change 100755 => 100644 src/theory/quantifiers/conjecture_generator.cpp mode change 100755 => 100644 src/theory/quantifiers/conjecture_generator.h mode change 100755 => 100644 src/theory/quantifiers/quant_conflict_find.cpp mode change 100755 => 100644 src/theory/quantifiers/quant_conflict_find.h (limited to 'src/theory') diff --git a/src/theory/quantifiers/conjecture_generator.cpp b/src/theory/quantifiers/conjecture_generator.cpp old mode 100755 new mode 100644 diff --git a/src/theory/quantifiers/conjecture_generator.h b/src/theory/quantifiers/conjecture_generator.h old mode 100755 new mode 100644 diff --git a/src/theory/quantifiers/quant_conflict_find.cpp b/src/theory/quantifiers/quant_conflict_find.cpp old mode 100755 new mode 100644 diff --git a/src/theory/quantifiers/quant_conflict_find.h b/src/theory/quantifiers/quant_conflict_find.h old mode 100755 new mode 100644 -- cgit v1.2.3