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

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 *************************************************************)