Added project info to new test model.

viklauverk · Jul 11, 2024 · b1b2bcc · b1b2bcc
1 parent 5a0d790
commit b1b2bcc
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/models/SimpleTheoryTest/project.info b/models/SimpleTheoryTest/project.info
@@ -0,0 +1 @@
+This model tests a machine that uses a theory that in turn uses another theory.