call AllSolved when all is solved

lip6 · Apr 22, 2023 · 4f3a703 · 4f3a703
1 parent 8edf3dd
commit 4f3a703
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/pnmcc/fr.lip6.move.gal.application.pnmcc/src/fr/lip6/move/gal/application/Application.java b/pnmcc/fr.lip6.move.gal.application.pnmcc/src/fr/lip6/move/gal/application/Application.java
@@ -671,6 +671,7 @@ public Object startNoEx(IApplicationContext context) throws Exception {
 				int solved = logicSolver.preSolveForLogic(reader, doneProps, false);
 				if (solved > 0) {
 					if (reader.getSPN().getProperties().isEmpty()) {
+						allSolved(pwd,examination);
 						return null;
 					}
 				}