module G = Options
type csys = {
- uri: E.uri;
- mutable tp : int list;
- mutable t1 : int list;
- mutable tn : (int * int) list;
+ buri: E.uri;
+ mutable tp : int list;
+ mutable t1 : int list;
+ mutable tn : (int * int) list;
}
let mark a = E.mark C.err C.start a
(* interface functions ******************************************************)
let init () = {
- uri = U.uri_of_string (G.get_baseuri ());
+ buri = U.uri_of_string (G.get_baseuri ());
tp = []; t1 = []; tn = []
}