From adf10b858c573e729c4d1e03e6093b4244de250d Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Fri, 10 Dec 2021 18:10:07 +0100
Subject: [PATCH] Update ocamlformat version.
---
.ocamlformat | 2 +-
src/language.ml | 1 -
2 files changed, 1 insertion(+), 2 deletions(-)
diff --git a/.ocamlformat b/.ocamlformat
index b883181e..b12a726f 100644
--- a/.ocamlformat
+++ b/.ocamlformat
@@ -1,4 +1,4 @@
-version=0.19.0
+version=0.20.0
exp-grouping=parens
if-then-else=keyword-first
max-indent=2
diff --git a/src/language.ml b/src/language.ml
index ed602c42..b7171e7a 100644
--- a/src/language.ml
+++ b/src/language.ml
@@ -16,7 +16,6 @@ type ioshape = {
}
let loaded_nets = Why3.Term.Hls.create 10
-
let lookup_loaded_nets = Why3.Term.Hls.find_opt loaded_nets
let register_astuple nb_inputs nb_outputs filename env =
--
GitLab