diff options
Diffstat (limited to 'Jennisys/CodeGen.fs')
-rw-r--r-- | Jennisys/CodeGen.fs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Jennisys/CodeGen.fs b/Jennisys/CodeGen.fs index d81fca75..79b78173 100644 --- a/Jennisys/CodeGen.fs +++ b/Jennisys/CodeGen.fs @@ -360,7 +360,7 @@ let GenConstructorCode prog comp mthd decreasesClause body genRepr = | Method(methodName,sign,_,_,isConstr) ->
let preExpr = GetPreconditionForMethod prog mthd |> Desugar
let postExpr = GetPostconditionForMethod prog mthd genRepr |> Desugar
- let thisObj = {name = "this"; objType = GetComponentType comp}
+ let thisObj = ThisObj comp
" method " + methodName + (PrintSig sign) +
(if IsModifiableObj thisObj (comp,mthd) then newline + " modifies this;" else "") +
(PrintPrePost (newline + " requires ") preExpr) +
|