diff options
author | Benjamin Barenblat <bbarenblat@galois.com> | 2014-01-27 20:00:09 -0800 |
---|---|---|
committer | Benjamin Barenblat <bbarenblat@galois.com> | 2014-01-27 20:00:09 -0800 |
commit | 0b617259a3c1c1f7e2c097e0f56d8ae3c5cc96f7 (patch) | |
tree | a0b88207e23dd2b45aeedf57fd987cfaefa5a975 /bindings/racket/main.rkt | |
parent | 32e5e36ea862c3fb981e7cc358280cbc7fbc8605 (diff) |
Haskell: Add 'withTracer''
'withTracer'' wraps 'ppaml_tracer_init_from_env' in the C library.
Diffstat (limited to 'bindings/racket/main.rkt')
0 files changed, 0 insertions, 0 deletions