Revert "Uncommit exception"

This reverts commit a640a3f.
codex-semantics-library · Jul 18, 2024 · a3287ca · a3287ca
1 parent 8ede75f
commit a3287ca
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/PatriciaTree.mli b/src/PatriciaTree.mli
@@ -19,6 +19,8 @@
 (*  for more details (enclosed in the file LICENSE).                      *)
 (**************************************************************************)
 
+exception Not_found
+
 (** Association maps from key to values, and sets, implemented with
     Patricia Trees, allowing fast merge operations by making use of
     physical equality between subtrees; and custom implementation of