summaryrefslogtreecommitdiff
path: root/examples/06-inductive-data-types-separate-namespaces
diff options
context:
space:
mode:
Diffstat (limited to 'examples/06-inductive-data-types-separate-namespaces')
-rw-r--r--examples/06-inductive-data-types-separate-namespaces/src/data/a.hob2
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/06-inductive-data-types-separate-namespaces/src/data/a.hob b/examples/06-inductive-data-types-separate-namespaces/src/data/a.hob
index 47f1d3c..e8c02ea 100644
--- a/examples/06-inductive-data-types-separate-namespaces/src/data/a.hob
+++ b/examples/06-inductive-data-types-separate-namespaces/src/data/a.hob
@@ -1,7 +1,7 @@
import {B} from ./b;
sum A {
- variant A1 box;
+ variant Box[A1];
}
struct A1 {