diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-08-17 00:44:20 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-17 05:44:20 +0000 |
| commit | df8caeeb9490ba712744f814ba92916a8ae4ab1e (patch) | |
| tree | 1d941c6191cfaf9fd6b66720c14c716542b909d5 /src/util/rational_cln_imp.h | |
| parent | c783a90bc4dbf43a2d054a4e04ae0cae280bea30 (diff) | |
Cosmetic improvements to theory datatypes (#7020)
Mainly just indentation / formatting changes. In preparation for playing around with heuristics to datatypes theory motivated by Facebook benchmarks.
Diffstat (limited to 'src/util/rational_cln_imp.h')
0 files changed, 0 insertions, 0 deletions