diff options
Diffstat (limited to 'parsing/pretty.ml')
| -rw-r--r-- | parsing/pretty.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/parsing/pretty.ml b/parsing/pretty.ml index 1fa038777..c22e86943 100644 --- a/parsing/pretty.ml +++ b/parsing/pretty.ml @@ -239,6 +239,8 @@ let print_leaf_entry with_values sep (sp,lobj) = [< 'sTR" Class Marker"; 'fNL >] | (_,"COERCION") -> [< 'sTR" Coercion Marker"; 'fNL >] + | (_,"REQUIRE") -> + [< 'sTR" Require Marker"; 'fNL >] | (_,s) -> [< 'sTR(string_of_path sp); 'sTR" : "; 'sTR"Unrecognized object "; 'sTR s; 'fNL >] |