relax minfreemem

breandan · Feb 12, 2024 · 549f1b6 · 549f1b6
1 parent 132a83c
commit 549f1b6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/jvmMain/kotlin/ai/hypergraph/kaliningraph/parsing/JVMBarHillel.kt b/src/jvmMain/kotlin/ai/hypergraph/kaliningraph/parsing/JVMBarHillel.kt
@@ -129,7 +129,7 @@ infix fun CFG.jvmIntersectLevFSA(fsa: FSA): CFG = jvmIntersectLevFSAP(fsa)
 //    .intersectLevFSAP(fsa)
 
 val BH_TIMEOUT = 9.minutes
-val MINFREEMEM = 9000000000L
+val MINFREEMEM = 1000000000L
 
 private infix fun CFG.jvmIntersectLevFSAP(fsa: FSA): CFG {
 //  if (700 < fsa.Q.size) throw Exception("FSA size was out of bounds")