diff options
Diffstat (limited to 'stm/texmacspp.ml')
| -rw-r--r-- | stm/texmacspp.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stm/texmacspp.ml b/stm/texmacspp.ml index 415ea951f..bd6f0fe9e 100644 --- a/stm/texmacspp.ml +++ b/stm/texmacspp.ml @@ -429,7 +429,7 @@ and pp_expr ?(attr=[]) e = (xmlOperator "evar" loc ~attr:["id", string_of_id ek] :: ppcel) | CPatVar (loc, id) -> xmlPatvar (string_of_id id) loc - | CHole (loc, _, _) -> xmlCst ~attr "_" loc + | CHole (loc, _, _, _) -> xmlCst ~attr "_" loc | CIf (loc, test, (_, ret), th, el) -> let return = match ret with | None -> [] |