diff options
Diffstat (limited to 'Modules/_decimal/libmpdec/umodarith.h')
| -rw-r--r-- | Modules/_decimal/libmpdec/umodarith.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Modules/_decimal/libmpdec/umodarith.h b/Modules/_decimal/libmpdec/umodarith.h index a6aeceb..436761b 100644 --- a/Modules/_decimal/libmpdec/umodarith.h +++ b/Modules/_decimal/libmpdec/umodarith.h @@ -93,7 +93,7 @@ ext_submod(mpd_uint_t a, mpd_uint_t b, mpd_uint_t m) return d; } -/* +/* * Reduce double word modulo m. * Restrictions: m != 0 * ACL2 proof: umodarith.lisp: section dw-reduce |