From d0b259546fc188ea2ac0795c559e0a0086ee501b Mon Sep 17 00:00:00 2001
From: Hadrien Croubois <hadrien.croubois@gmail.com>
Date: Wed, 15 Mar 2023 21:35:42 +0100
Subject: [PATCH] fix options

---
 certora/specs.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/certora/specs.js b/certora/specs.js
index 81f83aa60..94b443e69 100644
--- a/certora/specs.js
+++ b/certora/specs.js
@@ -60,7 +60,7 @@ module.exports = [].concat(
     spec,
     contract,
     files: [`certora/harnesses/${contract}.sol`, `certora/harnesses/${token}.sol`],
-    options: [`--link GovernorHarness:token=${token}`, '--optimistic_loop', '--optimistic_hashing'],
+    options: [`--link ${contract}:token=${token}`, '--optimistic_loop', '--optimistic_hashing'],
   })),
   /// WIP part
   process.env.CI
@@ -70,7 +70,7 @@ module.exports = [].concat(
           spec,
           contract,
           files: [`certora/harnesses/${contract}.sol`, `certora/harnesses/${token}.sol`],
-          options: [`--link GovernorHarness:token=${token}`, '--optimistic_loop', '--optimistic_hashing'],
+          options: [`--link ${contract}:token=${token}`, '--optimistic_loop', '--optimistic_hashing'],
         }),
       ),
 );