X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fng_cic_content%2Finterpretations.ml;fp=matitaB%2Fcomponents%2Fng_cic_content%2Finterpretations.ml;h=c898c0faaf9c8e487cb429fabad72e46ec051395;hb=6f020d79dea92003151e5e588fd73452f20ffb2c;hp=598c93af706d5607c39e79477da5ced8288df410;hpb=4ba652d65269628faf6c81269276c7f9f2c8e60a;p=helm.git

diff --git a/matitaB/components/ng_cic_content/interpretations.ml b/matitaB/components/ng_cic_content/interpretations.ml
index 598c93af7..c898c0faa 100644
--- a/matitaB/components/ng_cic_content/interpretations.ml
+++ b/matitaB/components/ng_cic_content/interpretations.ml
@@ -483,7 +483,7 @@ let with_idrefs foo status obj =
 let nmap_obj status = with_idrefs nmap_obj0 status
 *)
 
-let nmap_obj = assert false
+let nmap_obj _ = assert false
 
 let nmap_sequent = nmap_sequent0