Project

General

Profile

Revision 9b0432bc lib/parsers/parser_lustre.mly

View differences:

lib/parsers/parser_lustre.mly
14 14
open Lustre_types
15 15
open Corelang
16 16
open Dimension
17
open Parse
18 17

  
19 18
   
20 19
let get_loc () = Location.symbol_rloc ()

Also available in: Unified diff