diff options
| author | Mathieu Othacehe <m.othacehe@gmail.com> | 2017-07-12 09:45:18 +0200 |
|---|---|---|
| committer | Mathieu Othacehe <m.othacehe@gmail.com> | 2017-07-12 16:28:41 +0200 |
| commit | 56ac3e24ac52d6129737179ec55396dc259fca4c (patch) | |
| tree | 351684064ff09e441d301213ab2d4b8d8abdbeba /.gitignore | |
| parent | d7dc7cb92cc88ed3a245e628b424953206a3f784 (diff) | |
| download | cuirass-56ac3e24ac52d6129737179ec55396dc259fca4c.tar cuirass-56ac3e24ac52d6129737179ec55396dc259fca4c.tar.gz | |
base: Fix time-monotonic Guile issue.
* src/cuirass/base.scm: Replace time-monotonic with time-tai with
Guile 2.2, to avoid wrong evaluation durations.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions