diff options
Diffstat (limited to 'Jennisys/TypeChecker.fs')
| -rw-r--r-- | Jennisys/TypeChecker.fs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Jennisys/TypeChecker.fs b/Jennisys/TypeChecker.fs index 377082d9..bf012a11 100644 --- a/Jennisys/TypeChecker.fs +++ b/Jennisys/TypeChecker.fs @@ -12,7 +12,7 @@ let GetClass name decls = let GetModel name decls =
match decls |> List.tryFind (function Model(n,_,_,_,_) when n = name -> true | _ -> false) with
| Some(m) -> m
- | None -> Model(name,[],[],[],IdLiteral("true"))
+ | None -> Model(name,[],[],[],BoolLiteral(true))
let GetCode name decls =
match decls |> List.tryFind (function Code(n,_) when n = name -> true | _ -> false) with
|