X-Git-Url: http://git.hcoop.net/bpt/coccinelle.git/blobdiff_plain/951c78018cc91c58699aef95c0ccc20f34065162..HEAD:/parsing_c/compare_c.mli diff --git a/parsing_c/compare_c.mli b/parsing_c/compare_c.mli index c1c1a07..82b1a61 100644 --- a/parsing_c/compare_c.mli +++ b/parsing_c/compare_c.mli @@ -1,13 +1,13 @@ -type compare_result = - | Correct +type compare_result = + | Correct | Pb of string | PbOnlyInNotParsedCorrectly of string (* the string list is the output of diff *) -val compare_ast : - Common.filename -> Common.filename -> compare_result * string list +val compare_ast : + Common.filename -> Common.filename -> compare_result * string list val compare_default : (* compare to a res file *) Common.filename -> Common.filename -> compare_result * string list