X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Flib%2Fpts_dummy_new%2Frc_eval.ma;h=c11eca57a8703489c1a23661b8f40261511443f4;hb=b4f76b0d8fa0e5365fb48e91474febe200b647a7;hp=7b7ce54d983447cdbaf9cb3941acb4215ca3e7ea;hpb=dbd9f7d4de8286fdd54f4b5609576f33db1050a6;p=helm.git

diff --git a/matita/matita/lib/pts_dummy_new/rc_eval.ma b/matita/matita/lib/pts_dummy_new/rc_eval.ma
index 7b7ce54d9..c11eca57a 100644
--- a/matita/matita/lib/pts_dummy_new/rc_eval.ma
+++ b/matita/matita/lib/pts_dummy_new/rc_eval.ma
@@ -13,6 +13,7 @@
 (**************************************************************************)
 
 include "pts_dummy/rc_hsat.ma".
+include "basics/core_notation/napart_2.ma".
 (*
 (* THE EVALUATION *************************************************************)