From 5df14de1fe3e3309766e04a49b2d1c7b13205698 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 22 Apr 2004 13:53:22 +0000 Subject: [PATCH] rebuit --- helm/ocaml/cic_disambiguation/.depend | 2 ++ 1 file changed, 2 insertions(+) diff --git a/helm/ocaml/cic_disambiguation/.depend b/helm/ocaml/cic_disambiguation/.depend index b8c5c9ccf..2a5719e54 100644 --- a/helm/ocaml/cic_disambiguation/.depend +++ b/helm/ocaml/cic_disambiguation/.depend @@ -23,3 +23,5 @@ logic_notation.cmo: cicTextualParser2.cmi disambiguateChoices.cmi logic_notation.cmx: cicTextualParser2.cmx disambiguateChoices.cmx arit_notation.cmo: cicTextualParser2.cmi disambiguateChoices.cmi arit_notation.cmx: cicTextualParser2.cmx disambiguateChoices.cmx +tex_notation.cmo: cicTextualParser2.cmi +tex_notation.cmx: cicTextualParser2.cmx -- 2.39.2