Try disambiguation with "Root"

ossuminc · Sep 28, 2023 · 8bbb02c · 8bbb02c
1 parent aa709b3
commit 8bbb02c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/riddl/FooBarTwoDomains/Bar/bar.riddl b/src/riddl/FooBarTwoDomains/Bar/bar.riddl
@@ -3,5 +3,5 @@ type Info is {
 }
 
 type Bar {
-  info: Bar.Info
+  info: Root.Bar.Info
 }