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 --- test/regress/regress0/quantifiers/ARI176e1.smt2 | 0 test/regress/regress0/quantifiers/simp-typ-test.smt2 | 0 2 files changed, 0 insertions(+), 0 deletions(-) mode change 100755 => 100644 test/regress/regress0/quantifiers/ARI176e1.smt2 mode change 100755 => 100644 test/regress/regress0/quantifiers/simp-typ-test.smt2 (limited to 'test/regress/regress0/quantifiers') diff --git a/test/regress/regress0/quantifiers/ARI176e1.smt2 b/test/regress/regress0/quantifiers/ARI176e1.smt2 old mode 100755 new mode 100644 diff --git a/test/regress/regress0/quantifiers/simp-typ-test.smt2 b/test/regress/regress0/quantifiers/simp-typ-test.smt2 old mode 100755 new mode 100644 -- cgit v1.2.3