From 3e24f64d9652bebe49838f244f1e1bfa2cc45f17 Mon Sep 17 00:00:00 2001
From: stuebinm
Date: Sat, 4 Sep 2021 16:07:30 +0200
Subject: crate name: util → isabelle2unicode

---
 Cargo.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Cargo.toml')

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"
 ]
-- 
cgit v1.2.3