diff --git a/tools/decomplint/decomplint.py b/tools/decomplint/decomplint.py index 2ceb42c2..6aa28012 100755 --- a/tools/decomplint/decomplint.py +++ b/tools/decomplint/decomplint.py @@ -1,3 +1,5 @@ +#!/usr/bin/env python3 + import os import sys import argparse