diff options
author | nicolas.nardino <nicolas.nardino@ens-lyon.fr> | 2021-06-17 17:00:57 +0200 |
---|---|---|
committer | nicolas.nardino <nicolas.nardino@ens-lyon.fr> | 2021-06-17 17:00:57 +0200 |
commit | fae8d9b5c5f93d5eda36f800eb0ca1837b237cba (patch) | |
tree | 90a2a33ee6dfba2cd14d9dc023ccb510e3ba627c /riscV | |
parent | 4413c27d6c6a3d69df34955d9d453c38b32174c7 (diff) | |
download | compcert-kvx-fae8d9b5c5f93d5eda36f800eb0ca1837b237cba.tar.gz compcert-kvx-fae8d9b5c5f93d5eda36f800eb0ca1837b237cba.zip |
fix riscv/Machregsaux.mli
Diffstat (limited to 'riscV')
-rw-r--r-- | riscV/Machregsaux.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/riscV/Machregsaux.mli b/riscV/Machregsaux.mli index 01b0f9fd..cf6d7b71 100644 --- a/riscV/Machregsaux.mli +++ b/riscV/Machregsaux.mli @@ -15,3 +15,5 @@ val is_scratch_register: string -> bool val class_of_type: AST.typ -> int + +val nr_regs: int array |