Small typos

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10484 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/dd/dd_cudd.cc

@@ -32,7 +32,7 @@
 extern FILE *dd_out;
 
 // A flag indicating that a CuDD error has occurred
-// that could not be signaled by returning a NULL DdNode*
+// that could not be signalled by returning a NULL DdNode*
 // from a function
 bool dd_cudd_error_flag = false;
 
@@ -240,7 +240,7 @@ bool DD_GetErrorFlag(DdManager *ddman)
 //-----------------------------------------------------------------------------------
 
 // Set the DD error flag. Should be set if a CuDD error has been
-// detected that could not be signaled by returning a NULL DdNode*
+// detected that could not be signalled by returning a NULL DdNode*
 // from the function
 void DD_SetErrorFlag()
 {

prism/src/jdd/JDD.java

@@ -1399,7 +1399,7 @@ public class JDD
 
 	/**
 	 * Check whether the DD error flag is set, indicating an
-	 * out-of-meory situation in CuDD or another internal error.
+	 * out-of-memory situation in CuDD or another internal error.
 	 * If the flag is set, throws a {@code CuddOutOfMemoryException}.
 	 */
 	public static void checkForCuddError()