diff options
| author | Robert Norton | 2016-07-28 11:23:37 +0100 |
|---|---|---|
| committer | Robert Norton | 2016-07-28 11:23:37 +0100 |
| commit | 0d83a7f890799d3ebee7229ea8d5c2c9681a27c2 (patch) | |
| tree | f99afe364d5b81d132337bd79159f27c98fe491c | |
| parent | dc3efa53dd81eb3a3896e59a9300aba6969c5c48 (diff) | |
Complete another if statement with an empty else.
| -rw-r--r-- | cheri/cheri_insts.sail | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/cheri/cheri_insts.sail b/cheri/cheri_insts.sail index b4b28c01..b084faa0 100644 --- a/cheri/cheri_insts.sail +++ b/cheri/cheri_insts.sail @@ -434,6 +434,8 @@ function clause execute (CCheckType(cs, cb)) = exit (raise_c2_exception(CapEx_SealViolation, cb)) else if ((cs_val.otype) != (cb_val.otype)) then exit (raise_c2_exception(CapEx_TypeViolation, cs)) + else + () (* END_CCheckType *) } |