Project

General

Profile

Revision 3769b712 src/tools/stateflow/json-parser/json_parser.ml

View differences:

src/tools/stateflow/json-parser/json_parser.ml
1 1
open Basetypes
2
open Corelang
2
open Lustrec.Corelang
3 3
open Datatype
4 4
open LustreSpec
5 5
open Str
......
148 148
                                                               |> to_string)))
149 149
  and parse_variable json =
150 150
    Logs.debug (fun m -> m "parse_variable %s" (json |> member "name" |> to_string));
151
    let location                  = Location.dummy_loc in
151
    let location                  = Lustrec.Location.dummy_loc in
152 152
    let (datatype, initial_value) = lustre_datatype_of_json json location in
153 153
    mkvar_decl location ~orig:true
154 154
      ( json |> member "name" |> to_string,

Also available in: Unified diff