1 files changed, 1 insertions, 1 deletions
diff --git a/run-ws b/run-ws
index 5e09541..d622663 100755
--- a/run-ws
+++ b/run-ws
@@ -57,7 +57,7 @@ if [ -z "$ASAN_OPTIONS" ]; then
 	# Abort so it can be caught by gdb
 	ASAN_OPTIONS=abort_on_error=1
 	# Strip source path (assume /tmp/wireshark/)
-	ASAN_OPTIONS+=strip_path_prefix=/tmp/wireshark/
+	ASAN_OPTIONS+=:strip_path_prefix=/tmp/wireshark/
 	export ASAN_OPTIONS
 fi