diff options
author | Thomas Bauereiss <tb592@cl.cam.ac.uk> | 2019-11-26 17:32:16 +0000 |
---|---|---|
committer | Thomas Bauereiss <tb592@cl.cam.ac.uk> | 2019-11-26 17:32:16 +0000 |
commit | 4809371012e7394853f01b179d088497212cf480 (patch) | |
tree | f93fcc481bd58263e4e7168ba604c8d0f1d32384 /model/riscv_termination_rv32.sail | |
parent | fa707da94d0329e7d1b7520d876ad85953f2fdd5 (diff) | |
download | sail-riscv-4809371012e7394853f01b179d088497212cf480.zip sail-riscv-4809371012e7394853f01b179d088497212cf480.tar.gz sail-riscv-4809371012e7394853f01b179d088497212cf480.tar.bz2 |
Fix RV32 Coq build
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 |