diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2021-09-26 11:58:42 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2021-09-26 11:58:42 -0700 |
commit | a8b5da820df6c008fd02f514a8c93a48ecfe3620 (patch) | |
tree | 4a2d31a1471b83aa0c8a64fb76925743eb89d026 /src/proof/int | |
parent | ba64e78608064612db61d6515f19dd2cabe69cee (diff) | |
download | abc-a8b5da820df6c008fd02f514a8c93a48ecfe3620.tar.gz abc-a8b5da820df6c008fd02f514a8c93a48ecfe3620.tar.bz2 abc-a8b5da820df6c008fd02f514a8c93a48ecfe3620.zip |
Other compiler changes.
Diffstat (limited to 'src/proof/int')
-rw-r--r-- | src/proof/int/int.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/int/int.h b/src/proof/int/int.h index 906d8aaf..3dc8490d 100644 --- a/src/proof/int/int.h +++ b/src/proof/int/int.h @@ -24,7 +24,7 @@ /* The interpolation algorithm implemented here was introduced in the paper: - K. L. McMillan. Interpolation and SAT-based model checking. CAV’03, pp. 1-13. + K. L. McMillan. Interpolation and SAT-based model checking. CAV 03, pp. 1-13. */ //////////////////////////////////////////////////////////////////////// |