simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-06 03:05:31 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

warnings

Browse source
This commit is contained in:
Simon Cruanes 2022-10-20 16:12:52 -04:00
parent 61f1854b80
commit 173908cadc
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
2 changed files with 0 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/core-logic/sidekick_core_logic.ml
View file

@ -4,7 +4,6 @@ module Bvar = Bvar
module Const = Const module Const = Const
module Subst = Subst module Subst = Subst
module T_builtins = T_builtins module T_builtins = T_builtins
module Ser_sink = Ser_sink
module Store = Term.Store module Store = Term.Store
(* TODO: move to separate library? *) (* TODO: move to separate library? *)

1
src/util/Sidekick_util.ml
View file

@ -25,6 +25,5 @@ module Profile = Profile
module Chunk_stack = Chunk_stack module Chunk_stack = Chunk_stack
module Ser_value = Ser_value module Ser_value = Ser_value
module Ser_decode = Ser_decode module Ser_decode = Ser_decode
module Ser_sink = Ser_sink
let[@inline] ( let@ ) f x = f x let[@inline] ( let@ ) f x = f x