From 59e01fff8386dd23e622ca15700947405ee590f5 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Wed, 9 May 2007 20:51:33 +0000
Subject: [PATCH] forgot this file

---
 Robust/src/ClassLibrary/TagDescriptor.java | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 Robust/src/ClassLibrary/TagDescriptor.java

diff --git a/Robust/src/ClassLibrary/TagDescriptor.java b/Robust/src/ClassLibrary/TagDescriptor.java
new file mode 100644
index 00000000..a17c3c52
--- /dev/null
+++ b/Robust/src/ClassLibrary/TagDescriptor.java
@@ -0,0 +1,6 @@
+/** This class is not to be used by the end user.  It's intended for
+ * internal use to keep track of tags. */
+
+private class TagDescriptor {
+    Object tagset;
+}
-- 
2.34.1