X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2Fmquery.ml;h=fb670923d4ab75a5f742dd94daaadcf625bddb5d;hb=ee35bf33520d92753899985329cc4bfee141b808;hp=e9c50bd08be29e2e237d25e5f930aaeacc6a8d80;hpb=06e9498bf967323fe12d6383ec7b279a4546a06c;p=helm.git

diff --git a/helm/gTopLevel/mquery.ml b/helm/gTopLevel/mquery.ml
index e9c50bd08..fb670923d 100644
--- a/helm/gTopLevel/mquery.ml
+++ b/helm/gTopLevel/mquery.ml
@@ -178,7 +178,7 @@ let inspect_uri main l uri t c =
 
 let rec inspect_term main l = function
    | Rel i                        -> l 
-   | Meta i                       -> l 
+   | Meta (i,_)                   -> l 
    | Sort s                       -> l 
    | Implicit                     -> l 
    | Abst u                       -> l