Forgot oneoef

krishnangovindraj · krishnangovindraj · commit 7b773606bf51 · 2025-09-22T14:46:35.000+02:00
diff --git a/proto/conjunction.proto b/proto/conjunction.proto
@@ -19,8 +19,10 @@ message ConjunctionStructure {
       Value value = 3;
     }
     message Label {
-      Type resolved = 1;
-      string failedInference = 2;
+      oneof label {
+        Type resolved = 1;
+        string failedInference = 2;
+      }
     }
   }
 

Original file line number	Diff line number	Diff line change
`@@ -19,8 +19,10 @@ message ConjunctionStructure {`
`19`	`19`	`Value value = 3;`
`20`	`20`	`}`
`21`	`21`	`message Label {`
`22`		`- Type resolved = 1;`
`23`		`- string failedInference = 2;`
	`22`	`+ oneof label {`
	`23`	`+ Type resolved = 1;`
	`24`	`+ string failedInference = 2;`
	`25`	`+ }`
`24`	`26`	`}`
`25`	`27`	`}`
`26`	`28`