diff options
Diffstat (limited to 'contrib/interface/vtp.ml')
-rw-r--r-- | contrib/interface/vtp.ml | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/contrib/interface/vtp.ml b/contrib/interface/vtp.ml index e35b9d3bc..778220322 100644 --- a/contrib/interface/vtp.ml +++ b/contrib/interface/vtp.ml @@ -26,10 +26,9 @@ and fAST = function fID x1; fAST_LIST x2; fNODE "astnode" 2 -| CT_astpath(x1, x2) -> +| CT_astpath(x1) -> fID_LIST x1; - fID x2; - fNODE "astpath" 2 + fNODE "astpath" 1 | CT_astslam(x1, x2) -> fID_OPT x1; fAST x2; |