From 8bbb02c5a468125e59ce50e53a1c440397571822 Mon Sep 17 00:00:00 2001 From: reidspencer Date: Thu, 28 Sep 2023 10:53:03 +0200 Subject: [PATCH] Try disambiguation with "Root" --- src/riddl/FooBarTwoDomains/Bar/bar.riddl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/riddl/FooBarTwoDomains/Bar/bar.riddl b/src/riddl/FooBarTwoDomains/Bar/bar.riddl index 9217e3a..debb6ef 100644 --- 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 }