Update lib/patchestry/Passes/ContractOperationImpl.cpp

kumarak · Copilot · web-flow · commit 4e20bc5e7a7e · 2025-10-03T14:44:20.000-04:00
Co-authored-by: Copilot &lt;175728472+Copilot@users.noreply.github.com&gt;
diff --git a/lib/patchestry/Passes/ContractOperationImpl.cpp b/lib/patchestry/Passes/ContractOperationImpl.cpp
@@ -234,7 +234,7 @@ namespace patchestry::passes {
         const auto &contract_spec = contract.spec.value();
         auto contract_type        = contract_spec.type;
         if (contract_type == ContractType::STATIC) {
-            LOG(ERROR) << "Static contracts are not supported yet\n";
+            LOG(ERROR) << "Static contracts are not supported in entrypoint mode\n";
             return;
         }
         assert(

Original file line number	Diff line number	Diff line change
`@@ -234,7 +234,7 @@ namespace patchestry::passes {`
`234`	`234`	`const auto &contract_spec = contract.spec.value();`
`235`	`235`	`auto contract_type = contract_spec.type;`
`236`	`236`	`if (contract_type == ContractType::STATIC) {`
`237`		`- LOG(ERROR) << "Static contracts are not supported yet\n";`
	`237`	`+ LOG(ERROR) << "Static contracts are not supported in entrypoint mode\n";`
`238`	`238`	`return;`
`239`	`239`	`}`
`240`	`240`	`assert(`