Update src/UniqueID.ml

Co-authored-by: favonia <[email protected]>
RedPRL · Sep 20, 2023 · 3599fbe · 3599fbe
1 parent c1f59d5
commit 3599fbe
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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