crosso compatibility patch which enable building both with ocaml 3.08 and 3.09

[helm.git] / helm / papers / matita / input_phase.dia

diff --git a/helm/papers/matita/input_phase.dia b/helm/papers/matita/input_phase.dia
index 5605943c9902dfbdf7236c72a28e2d32af5bbfca..25315d0c738369888b45b2c5e7c421ace86a7358 100644 (file)
Binary files a/helm/papers/matita/input_phase.dia and b/helm/papers/matita/input_phase.dia differ