diff options
Diffstat (limited to 'contrib/interface/vtp.ml')
| -rw-r--r-- | contrib/interface/vtp.ml | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/contrib/interface/vtp.ml b/contrib/interface/vtp.ml index 3a2c9b1cb..037e48fe2 100644 --- a/contrib/interface/vtp.ml +++ b/contrib/interface/vtp.ml @@ -917,10 +917,6 @@ and fINT = function (f_atom_int x); print_string "\n"and fINTRO_PATT = function | CT_coerce_ID_to_INTRO_PATT x -> fID x -| CT_conj_pattern(x,l) -> - fINTRO_PATT_LIST x; - (List.iter fINTRO_PATT_LIST l); - fNODE "conj_pattern" (1 + (List.length l)) | CT_disj_pattern(x,l) -> fINTRO_PATT_LIST x; (List.iter fINTRO_PATT_LIST l); |