From 97d87cc58f2c2834e16ba5ba9ae11a661cdc9830 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 20 Jul 2021 23:34:38 -0400 Subject: [PATCH] perf: tiny detail in int indices in solver --- src/sat/Solver.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/sat/Solver.ml b/src/sat/Solver.ml index 43d9fddc..3c38aa89 100644 --- a/src/sat/Solver.ml +++ b/src/sat/Solver.ml @@ -28,7 +28,7 @@ module Mk_int_id() = struct let compare : t -> t -> int = compare let hash = CCHash.int let[@inline] to_int i = i - let[@inline] of_int_unsafe i = i + external of_int_unsafe : int -> t = "%identity" end module Make(Plugin : PLUGIN)