diff options
| author | Benedikt Meurer <benedikt.meurer@googlemail.com> | 2012-02-04 09:59:28 +0000 |
|---|---|---|
| committer | Benedikt Meurer <benedikt.meurer@googlemail.com> | 2012-02-04 09:59:28 +0000 |
| commit | 89f48bff91ea6757b2f3146f64ef3b6220e22b2b (patch) | |
| tree | e30f53f2c969e8dc9cd5bf2436c618479e809130 /otherlibs/labltk/support/cltkVar.c | |
| parent | fb327a7c2b95973ae6a277a147b9d77c53fcbae4 (diff) | |
Implement insert_op using insert_op_debug in Selectgen.
This way we don't need to override insert_op AND insert_op_debug for
every port that cares about them.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12121 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/labltk/support/cltkVar.c')
0 files changed, 0 insertions, 0 deletions