Compilation fix

[helm.git] / matitaB / components / ng_cic_content / interpretations.ml

diff --git a/matitaB/components/ng_cic_content/interpretations.ml b/matitaB/components/ng_cic_content/interpretations.ml
index 598c93af706d5607c39e79477da5ced8288df410..c898c0faaf9c8e487cb429fabad72e46ec051395 100644 (file)
--- 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