From 5ad8ef2269b75e9826a4e01274c8d2aca0c121a9 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 7 Aug 2015 13:36:04 +0000 Subject: [PATCH] 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 | 4 ++-- prism/src/jdd/JDD.java | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/prism/src/dd/dd_cudd.cc b/prism/src/dd/dd_cudd.cc index f4714f8d..31ac58b6 100644 --- a/prism/src/dd/dd_cudd.cc +++ b/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() { diff --git a/prism/src/jdd/JDD.java b/prism/src/jdd/JDD.java index 752331d3..26f0a3e1 100644 --- a/prism/src/jdd/JDD.java +++ b/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()