let preamble =
match raw_preamble with
| None ->
- pp (GA.Executable(floc,
- GA.Command(floc,GA.Include(floc,true,"logic/equality.ma"))))
+ pp
+ (GA.Executable(floc,
+ GA.Command(floc,GA.Include(floc,true,`OldAndNew,"logic/equality.ma"))))
| Some s -> s buri
in
let extra_statements_end = [] in