1 files changed, 2 insertions, 0 deletions
diff --git a/codegen/code-coverage.py b/codegen/code-coverage.py
index fd15034..1dc54c3 100755
--- a/codegen/code-coverage.py
+++ b/codegen/code-coverage.py
@@ -1,3 +1,5 @@
+#! /usr/bin/env python
+
 from __future__ import generators
 import sys, os