More details on message

srlabs · Oct 1, 2024 · eeb3e9f · eeb3e9f
1 parent 53d9eb0
commit eeb3e9f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/instrumenter/instrumentation.rs b/src/instrumenter/instrumentation.rs
@@ -131,7 +131,7 @@ impl Instrumenter {
         } else {
             bail!(
                 "It seems that your instrumented smart contract did not compile properly. \
-        Please go to {p_display}, edit the source code, and run `cargo contract build` again.",
+        Please go to `{p_display}`, edit the source code, and run `cargo contract build --features phink` again. It might be because your contract has a bug inside, or because you haven't created any invariants for instance.",
             )
         }