From 8c216145bfbaa71af9568b0849160e46c11d3426 Mon Sep 17 00:00:00 2001
From: natile <??>
Date: Thu, 10 Oct 2002 10:43:51 +0000
Subject: [PATCH] Sub e Meet patched
---
helm/ocaml/mathql_interpreter/meet.ml | 4 ++--
helm/ocaml/mathql_interpreter/sub.ml | 4 ++--
2 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/helm/ocaml/mathql_interpreter/meet.ml b/helm/ocaml/mathql_interpreter/meet.ml
index c5921aaf9..bf0b5d780 100644
--- a/helm/ocaml/mathql_interpreter/meet.ml
+++ b/helm/ocaml/mathql_interpreter/meet.ml
@@ -29,6 +29,6 @@ let rec meet_ex v1 v2 =
[],_
| _,[] -> false
| s1::tl1, s2::_ when s1 < s2 -> meet_ex tl1 v2
- | s1::_, s2::tl2 when s2 < s1 -> false
- | _, _-> true
+ | s1::_, s2::tl2 when s2 < s1 -> meet_ex v1 tl2
+ | _, _ -> true
;;
diff --git a/helm/ocaml/mathql_interpreter/sub.ml b/helm/ocaml/mathql_interpreter/sub.ml
index 5bc3d5b92..e59bf049d 100644
--- a/helm/ocaml/mathql_interpreter/sub.ml
+++ b/helm/ocaml/mathql_interpreter/sub.ml
@@ -28,7 +28,7 @@ let rec sub_ex v1 v2 =
match v1,v2 with
[],_ -> true
| _,[] -> false
- | s1::tl1, s2::_ when s1 < s2 -> sub_ex tl1 v2
- | s1::_, s2::_ when s2 < s1 -> false
+ | s1::_, s2::_ when s1 < s2 -> false
+ | s1::_, s2::tl2 when s2 < s1 -> sub_ex v1 tl2
| s1::tl1, s2::tl2 -> sub_ex tl1 tl2
;;
--
2.39.5