From 7d21d9996050c6b1dd3d35db7b065bc3c13e3cd9 Mon Sep 17 00:00:00 2001 From: ProgramSnail Date: Thu, 29 Jan 2026 16:37:22 +0300 Subject: [PATCH] remove unrequired commend --- lib/relational_semantic_interpreter.ml | 2 -- lib/semantic_interpreter.ml | 2 -- 2 files changed, 4 deletions(-) diff --git a/lib/relational_semantic_interpreter.ml b/lib/relational_semantic_interpreter.ml index ddb74e1..6ab270d 100644 --- a/lib/relational_semantic_interpreter.ml +++ b/lib/relational_semantic_interpreter.ml @@ -1,5 +1,3 @@ -(* (,,) -< Pair.inj _ (Pair.inj _ _) *) - module Relational = struct open GT diff --git a/lib/semantic_interpreter.ml b/lib/semantic_interpreter.ml index 761c413..e0a9c1e 100644 --- a/lib/semantic_interpreter.ml +++ b/lib/semantic_interpreter.ml @@ -1,5 +1,3 @@ -(* (,,) -< Pair.inj _ (Pair.inj _ _) *) - module Functional = struct