diff options
author | jadep <jade.philipoom@gmail.com> | 2017-02-27 10:51:56 -0500 |
---|---|---|
committer | jadep <jade.philipoom@gmail.com> | 2017-02-27 10:51:56 -0500 |
commit | 1fb1958d505974a3864322d3f10f5dfa042f363a (patch) | |
tree | d16c054a13c793c5367c341aee8d08c24fab7c1e /src/BoundedArithmetic | |
parent | ed53a28ea315782980198a63a14b2acc6d4d5759 (diff) |
changed names of ops in NewBaseSystem to reflect that they are sig and not sigT
Diffstat (limited to 'src/BoundedArithmetic')
0 files changed, 0 insertions, 0 deletions