From 807a7f57a17d80475ae79bac985bfa1c1569cdcd Mon Sep 17 00:00:00 2001
From: Saeed Rasooli <saeed.gnu@gmail.com>
Date: Thu, 19 Oct 2023 11:41:15 +0330
Subject: [PATCH] update scripts/dump.py

---
 scripts/dump.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/scripts/dump.py b/scripts/dump.py
index fe5242c85..bc4c891a0 100755
--- a/scripts/dump.py
+++ b/scripts/dump.py
@@ -1,3 +1,5 @@
+#!/usr/bin/env python3
+
 import sys
 from pprint import pformat