summaryrefslogtreecommitdiffstats
path: root/testsuite/semko/four.stp
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/semko/four.stp')
-rwxr-xr-xtestsuite/semko/four.stp2
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/semko/four.stp b/testsuite/semko/four.stp
index e73cc88d..fd2b3928 100755
--- a/testsuite/semko/four.stp
+++ b/testsuite/semko/four.stp
@@ -1,4 +1,4 @@
-#! semtest
+#! stap -p2
global a, b; # types unknown