From 3599fbe5539cb36f33fbaddff513466c10b7a93a Mon Sep 17 00:00:00 2001
From: Matthew McQuaid <47466291+mmcqd@users.noreply.github.com>
Date: Tue, 19 Sep 2023 20:26:00 -0700
Subject: [PATCH] Update src/UniqueID.ml

Co-authored-by: favonia <favonia@gmail.com>
---
 src/UniqueID.ml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/UniqueID.ml b/src/UniqueID.ml
index bbb259c..3c415be 100644
--- a/src/UniqueID.ml
+++ b/src/UniqueID.ml
@@ -73,5 +73,4 @@ struct
     | Effect.Unhandled (Select id) -> f (`Retrieve id)
     | Effect.Unhandled Export -> f `Export
     | _ -> None
-
 end