fix: fix injl typo in core constructible

stringhandler · stringhandler · commit 9bc2ae5b0d9a · 2026-06-17T09:01:57.000+02:00
diff --git a/src/merkle/cmr.rs b/src/merkle/cmr.rs
@@ -280,7 +280,7 @@ impl<'brand> CoreConstructible<'brand> for ConstructibleCmr<'brand> {
 
     fn injr(child: &Self) -> Self {
         ConstructibleCmr {
-            cmr: Cmr::injl(child.cmr),
+            cmr: Cmr::injr(child.cmr),
             inference_context: child.inference_context.shallow_clone(),
         }
     }

Original file line number	Diff line number	Diff line change
`@@ -280,7 +280,7 @@ impl<'brand> CoreConstructible<'brand> for ConstructibleCmr<'brand> {`
`280`	`280`
`281`	`281`	`fn injr(child: &Self) -> Self {`
`282`	`282`	`ConstructibleCmr {`
`283`		`- cmr: Cmr::injl(child.cmr),`
	`283`	`+ cmr: Cmr::injr(child.cmr),`
`284`	`284`	`inference_context: child.inference_context.shallow_clone(),`
`285`	`285`	`}`
`286`	`286`	`}`