From 5fdfc3778347a2e3b606bdae55299debd48e45bd Mon Sep 17 00:00:00 2001
From: Peter Kriens <peter.kriens@aqute.biz>
Date: Fri, 3 Nov 2017 09:27:49 +0100
Subject: [PATCH] Tiny changes

---
 .gitignore                                    | 28 +++++++++++++++++++
 .../mit/csail/sdg/alloy4/A4Preferences.java   |  3 +-
 org.alloytools.kodkod.core/bnd.bnd            |  1 +
 3 files changed, 31 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index bc7e2264a..41d209e7b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -7,3 +7,31 @@ enroute.zip
 org.alloytools.alloy.application/src/main/java/edu/mit/csail/sdg/alloy4compiler/parser/CompLexer.java
 org.alloytools.alloy.application/src/main/java/edu/mit/csail/sdg/alloy4compiler/parser/CompParser.java
 org.alloytools.alloy.application/src/main/java/edu/mit/csail/sdg/alloy4compiler/parser/CompSym.java
+*.slo
+*.lo
+*.o
+*.obj
+
+# Precompiled Headers
+*.gch
+*.pch
+
+# Compiled Dynamic libraries
+*.so
+*.dylib
+*.dll
+
+# Fortran module files
+*.mod
+
+# Compiled Static libraries
+*.lai
+*.la
+*.a
+*.lib
+
+# Executables
+*.exe
+*.out
+*.app
+
diff --git a/org.alloytools.alloy.application/src/main/java/edu/mit/csail/sdg/alloy4/A4Preferences.java b/org.alloytools.alloy.application/src/main/java/edu/mit/csail/sdg/alloy4/A4Preferences.java
index a7b15b848..6729baa2b 100644
--- a/org.alloytools.alloy.application/src/main/java/edu/mit/csail/sdg/alloy4/A4Preferences.java
+++ b/org.alloytools.alloy.application/src/main/java/edu/mit/csail/sdg/alloy4/A4Preferences.java
@@ -621,7 +621,8 @@ public Object renderValueLong(
 	 * The amount of memory (in M) to allocate for Kodkod and the SAT solvers.
 	 */
 	public static final IntChoicePref					SubMemory				= new IntChoicePref("SubMemory",
-			"Maximum memory", Arrays.asList(256, 512, 768, 1024, 1536, 2048, 2560, 3072, 3584, 4096), 768) {
+			"Maximum memory", Arrays.asList(768, 1024, 1536, 2048, 2560, 3072, 3584, 4096, 8192, 16384),
+			2084) {
 																					@Override
 																					public Object renderValueShort(
 																							Integer value) {
diff --git a/org.alloytools.kodkod.core/bnd.bnd b/org.alloytools.kodkod.core/bnd.bnd
index b66fb50ee..eb0b8ad61 100644
--- a/org.alloytools.kodkod.core/bnd.bnd
+++ b/org.alloytools.kodkod.core/bnd.bnd
@@ -32,6 +32,7 @@ Export-Package: \
 
 -testpath: \
 	osgi.enroute.junit.wrapper, \
+	osgi.enroute.hamcrest.wrapper
 
 -includeresource: LICENSE