From b6b77294d87d7ced425e40409f20f3520794fdec Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Tue, 22 Nov 2022 12:46:10 +0100
Subject: [PATCH] [dataset] More robust equality check based on term equality.
---
src/dataset.ml | 4 +---
1 file changed, 1 insertion(+), 3 deletions(-)
diff --git a/src/dataset.ml b/src/dataset.ml
index 0fc75d8..6ce4818 100644
--- a/src/dataset.ml
+++ b/src/dataset.ml
@@ -143,9 +143,7 @@ let interpret_predicate env ~on_model ~on_dataset task =
in
let normalization =
List.filter_map ls_with_normalization ~f:(fun (ls, normalization) ->
- if String.equal ls.ls_name.id_string dataset.ls_name.id_string
- then Some normalization
- else None)
+ if Term.ls_equal ls dataset then Some normalization else None)
in
let dataset = on_dataset dataset in
let model = on_model model in
--
GitLab