1 files changed, 1 insertions, 1 deletions

diff --git a/Cargo.toml b/Cargo.toml
index 26188a3..fbb6fcd 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -2,5 +2,5 @@
 members = [
     "symbolmacro",
     "isabelle-unicode",
-    "util"
+    "isabelle2unicode"
 ]