From 1f934aac48ad04def690e9fbbc8ec3137d3bbb0c Mon Sep 17 00:00:00 2001
From: witty <131909329+0xwitty@users.noreply.github.com>
Date: Fri, 20 Dec 2024 10:19:18 +0300
Subject: [PATCH] fix: fix incorrect usage of import.meta.dirname in Node.js

---
 certora/run.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/certora/run.js b/certora/run.js
index a5ad9eece3b..b52f5f59441 100755
--- a/certora/run.js
+++ b/certora/run.js
@@ -26,7 +26,7 @@ const argv = yargs(hideBin(process.argv))
     spec: {
       alias: 's',
       type: 'string',
-      default: path.resolve(import.meta.dirname, 'specs.json'),
+      default: path.resolve(path.dirname(new URL(import.meta.url).pathname), 'specs.json'),
     },
     parallel: {
       alias: 'p',