- | Include (_,true,path) -> "include \"" ^ path ^ "\""
- | Include (_,false,path) -> "include source \"" ^ path ^ "\""
+ | Include (_,true,`OldAndNew,path) -> "include \"" ^ path ^ "\""
+ | Include (_,false,`OldAndNew,path) -> "include source \"" ^ path ^ "\""
+ | Include (_,_,`New,path) -> "RECURSIVELY INCLUDING " ^ path