aboutsummaryrefslogtreecommitdiff
path: root/kernel/nativelambda.ml
diff options
context:
space:
mode:
authorPierre-Marie Pédrot2018-01-15 21:22:06 +0100
committerPierre-Marie Pédrot2018-01-15 21:22:06 +0100
commitbd7c33aa5708131b2980ab580b30794b2ada31a4 (patch)
tree79c24ed6ea4431c0ea629b40bae570ee59d9267c /kernel/nativelambda.ml
parent8ea2a8307a8d96f8275ebbd9bd4cbd1f6b0a00c6 (diff)
Fix the wrapper around ocamldebug.
Since 5ffa147, there is a new clib folder that needed to be added to the set of includes of ocamldebug
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions