From 651f2c1150c83963a55d641d6099baebee034439 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 20 Oct 2022 16:12:52 -0400 Subject: [PATCH] warnings --- src/core-logic/sidekick_core_logic.ml | 1 - src/util/Sidekick_util.ml | 1 - 2 files changed, 2 deletions(-) diff --git a/src/core-logic/sidekick_core_logic.ml b/src/core-logic/sidekick_core_logic.ml index 4636cb39..c06f698a 100644 --- a/src/core-logic/sidekick_core_logic.ml +++ b/src/core-logic/sidekick_core_logic.ml @@ -4,7 +4,6 @@ module Bvar = Bvar module Const = Const module Subst = Subst module T_builtins = T_builtins -module Ser_sink = Ser_sink module Store = Term.Store (* TODO: move to separate library? *) diff --git a/src/util/Sidekick_util.ml b/src/util/Sidekick_util.ml index cafff83a..d1509ab4 100644 --- a/src/util/Sidekick_util.ml +++ b/src/util/Sidekick_util.ml @@ -25,6 +25,5 @@ module Profile = Profile module Chunk_stack = Chunk_stack module Ser_value = Ser_value module Ser_decode = Ser_decode -module Ser_sink = Ser_sink let[@inline] ( let@ ) f x = f x