X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Flibrary%2FQ%2Ffrac.ma;h=863efe2833be3770cc257551e5863de628d6566f;hb=e880d6eab5e1700f4a625ddcd7d0fa8f0cce2dcc;hp=e4a2fc566408232e58f32a1d6d3c5ef854bce93b;hpb=9eabe046c1182960de8cfdba96c5414224e3a61e;p=helm.git

diff --git a/helm/software/matita/library/Q/frac.ma b/helm/software/matita/library/Q/frac.ma
index e4a2fc566..863efe283 100644
--- a/helm/software/matita/library/Q/frac.ma
+++ b/helm/software/matita/library/Q/frac.ma
@@ -12,6 +12,8 @@
 (*                                                                        *)
 (**************************************************************************)
 
+include "Q/q/qinv.ma".
+
 (*
 let rec nat_fact_to_fraction_inv l \def
   match l with