1 files changed, 2 insertions, 1 deletions

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