From 65d7a0a9e5bdaaa80a63ef767e5a4494e86fe6e8 Mon Sep 17 00:00:00 2001
From: Rudy Ges <k@klabz.org>
Date: Thu, 28 Sep 2023 13:52:16 +0200
Subject: [PATCH] Remove unused open

---
 src/context/resolution.ml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/context/resolution.ml b/src/context/resolution.ml
index 08c2ca280b6..a9baa62e452 100644
--- a/src/context/resolution.ml
+++ b/src/context/resolution.ml
@@ -1,5 +1,4 @@
 open Globals
-open Ast
 open Type
 
 type resolution_kind =