Project

General

Profile

« Previous | Next » 

Revision e050e30c

Added by Arnaud Dieumegard over 3 years ago

Removed generated yojson parser, now relies on pre-processed version

View differences:

src/tools/importer/main_lustre_importer.ml
17 17
open Mini_vhdl_ast
18 18
open Mini_vhdl_ast_pp
19 19
open Vhdl_ast_pp
20
open Vhdl_ast_yojson
20
(*open Vhdl_ast_yojson*)
21 21
open Mini_vhdl_check
22 22
open Printf
23 23
open Printers

Also available in: Unified diff