Project

General

Profile

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

View differences:

src/tools/stateflow/json-parser/test_json_parser_variables.ml
1 1
open Basetypes
2
open Corelang
2
open Lustrec.Corelang
3 3
open Datatype
4 4
open Json_parser
5 5
open LustreSpec
......
14 14

  
15 15
module Parse = Parser (ParseExt)
16 16

  
17
let location = Location.dummy_loc
17
let location = Lustrec.Location.dummy_loc
18 18

  
19 19
let string_of_var_type var_type =
20 20
  match var_type with

Also available in: Unified diff