diff --git a/wally-pipelined/linux-testgen/testvector-generation/genTrace.gdb b/wally-pipelined/linux-testgen/testvector-generation/genTrace.gdb index 84746912..23624607 100755 --- a/wally-pipelined/linux-testgen/testvector-generation/genTrace.gdb +++ b/wally-pipelined/linux-testgen/testvector-generation/genTrace.gdb @@ -21,4 +21,4 @@ define genTrace kill q -emd +end