From 14776d0aeb833a7e728a27af6ef545f20b495f7f Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Fri, 16 Aug 2013 15:15:03 -0400 Subject: Documentation fixes, some code typo fixes, file perms, other minor things. --- src/theory/quantifiers/full_model_check.h | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100755 => 100644 src/theory/quantifiers/full_model_check.h (limited to 'src/theory/quantifiers/full_model_check.h') diff --git a/src/theory/quantifiers/full_model_check.h b/src/theory/quantifiers/full_model_check.h old mode 100755 new mode 100644 -- cgit v1.2.3