-(* Copyright (C) 2008, 2009 University of Urbana Champaign
+(* Yoann Padioleau
+ *
+ * Copyright (C) 2008, 2009 University of Urbana Champaign
*
* This program is free software; you can redistribute it and/or
* modify it under the terms of the GNU General Public License (GPL)
then Some finalfile
else None
)
- | Wierd s ->
- pr2 ("CPPAST: wierd include not handled:" ^ s);
+ | Weird s ->
+ pr2 ("CPPAST: weird include not handled:" ^ s);
[]
(* todo? can try find most precise ? first just use basename but
[]
| x::y::xs -> res
)
- | Wierd s ->
+ | Weird s ->
[]
Visitor_c.vk_statement_sequencable_s bigf stseq::aux xs
| IfdefDirective (((IfdefElseif|IfdefElse|IfdefEndif),b),ii) ->
- pr2 "wierd: first directive is not a ifdef";
- (* maybe not wierd, just that should_ifdefize
+ pr2 "weird: first directive is not a ifdef";
+ (* maybe not weird, just that should_ifdefize
* returned false *)
Visitor_c.vk_statement_sequencable_s bigf stseq::aux xs
)