diff options
Diffstat (limited to 'model/riscv_termination_rv32.sail')
| -rw-r--r-- | model/riscv_termination_rv32.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/model/riscv_termination_rv32.sail b/model/riscv_termination_rv32.sail index 7cf8cb8..7318421 100644 --- a/model/riscv_termination_rv32.sail +++ b/model/riscv_termination_rv32.sail @@ -1 +1 @@ -termination_measure walk32(_,_,_,_,_,_,level,_) = level +termination_measure walk32(_,_,_,_,_,_,level,_,_) = level |