diff options
| author |  Unknown <t-alekm@A3479878.redmond.corp.microsoft.com> | 2011-07-11 17:27:13 -0700 |
|---|---|---|
| committer | Unknown <t-alekm@A3479878.redmond.corp.microsoft.com> | 2011-07-11 17:27:13 -0700 |
| commit | 5072e1d40e25df691a960dc14ec4aafcddf2bbc8 (patch) | |
| tree | e34ccb0125e2e2c57b7334630799847a66e33a4c | |
| parent | cfbed362d87727feea7862fa5e52390ff6bcf64e (diff) | |
- typos
| -rw-r--r-- | Jennisys/Jennisys/Analyzer.fs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Jennisys/Jennisys/Analyzer.fs b/Jennisys/Jennisys/Analyzer.fs index 7b6527f9..7f4b326f 100644 --- a/Jennisys/Jennisys/Analyzer.fs +++ b/Jennisys/Jennisys/Analyzer.fs @@ -188,7 +188,7 @@ let GetObjRefExpr o (heap,env,ctx) = let rec UpdateHeapEnv prog comp mthd unifs (heap,env,ctx) =
let __CheckUnif o f e idx =
- let objRefExpr = GetObjRefExpr o (heap,env,ctx) |> Utils.ExtractOptionMsg ("Couldn't find a path from this to " + (PrintObjRefName o (env,ctx)))
+ let objRefExpr = GetObjRefExpr o (heap,env,ctx) |> Utils.ExtractOptionMsg ("Couldn't find a path from 'this' to " + (PrintObjRefName o (env,ctx)))
let fldName = PrintVarName f
let lhs = Dot(objRefExpr, fldName)
let assertionExpr = match f with
@@ -211,7 +211,7 @@ let rec UpdateHeapEnv prog comp mthd unifs (heap,env,ctx) = // change the value to expression
acc |> Map.add (o,f) (ExprConst(e))
else
- Logger.DebugLine " DOESN'T HOLDS"
+ Logger.DebugLine " DOESN'T HOLD"
// don't change the value
acc |> Map.add (o,f) l
else
@@ -222,7 +222,7 @@ let rec UpdateHeapEnv prog comp mthd unifs (heap,env,ctx) = Logger.DebugLine " HOLDS"
ExprConst(e) :: __UnifyOverLst rest (cnt+1)
else
- Logger.DebugLine " DOESN'T HOLDS"
+ Logger.DebugLine " DOESN'T HOLD"
lstElem :: __UnifyOverLst rest (cnt+1)
| lstElem :: rest ->
lstElem :: __UnifyOverLst rest (cnt+1)
|