Update lambda-buffers-proto/compiler.proto

cstml · web-flow · commit 47fe63b1a08f · 2023-02-13T10:15:26.000Z
diff --git a/lambda-buffers-proto/compiler.proto b/lambda-buffers-proto/compiler.proto
@@ -566,7 +566,6 @@ message KindCheckError {
     Kind defined_kind = 3;
   }
 
-  // Error reads:
   // Multiple TyDefs with the same TyName were found in ModuleName.
   message MultipleTyDefError {
     // Module in which the error was found.

Original file line number	Diff line number	Diff line change
`@@ -566,7 +566,6 @@ message KindCheckError {`
`566`	`566`	`Kind defined_kind = 3;`
`567`	`567`	`}`
`568`	`568`
`569`		`- // Error reads:`
`570`	`569`	`// Multiple TyDefs with the same TyName were found in ModuleName.`
`571`	`570`	`message MultipleTyDefError {`
`572`	`571`	`// Module in which the error was found.`