Initialisation of sum-roundoff setting.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@804 bbc10eb1-c90d-0410-af57-cb519fbb1720
18 years ago · 471ee86817
1 changed files with 1 additions and 0 deletions
--- a/prism/src/prism/Prism.java
+++ b/prism/src/prism/Prism.java
@ -180,6 +180,7 @@ public class Prism implements PrismSettingsListener
 		bsccComp = true;
 		construction = 3;
 		ordering = 1;
+		sumRoundOff = 1e-5;
 	}
 	
 	// set methods