diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2012-02-04T13·27+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2012-02-04T13·27+0000 |
commit | 2bda12ef3b2b1d9a0fc59324d723e3fa883ab223 (patch) | |
tree | 774f4002ca60ddcf70888d4bff33eb4569e0bae6 /src/libexpr/primops.cc | |
parent | ce86a9a0ae928f8cdbe26021b6b757bf5b9d7693 (diff) |
* Print elapsed evaluation time.
Diffstat (limited to 'src/libexpr/primops.cc')
0 files changed, 0 insertions, 0 deletions