diff --git a/sim/sim-wally-batch b/sim/sim-wally-batch index 4fa06d3c..46c35c75 100755 --- a/sim/sim-wally-batch +++ b/sim/sim-wally-batch @@ -1 +1 @@ -vsim -c -do "do wally-batch.do rv32gc wally32priv" \ No newline at end of file +vsim -c -do "do wally-batch.do rv32gc wally32priv"