summaryrefslogtreecommitdiff
path: root/stdlib/headernt.c
diff options
context:
space:
mode:
authoralainfrisch <alain@frisch.fr>2016-07-11 13:27:44 +0200
committeralainfrisch <alain@frisch.fr>2016-07-11 13:27:44 +0200
commita345b7307a5723296b5d0200cda6d783e3b441bd (patch)
treecb1f33eb13db0fe1836d301b32e12eb95c8b8d27 /stdlib/headernt.c
parentd86aa4cd26a70574fe45a66a3d462ed2f1da2a42 (diff)
downloadocaml-a345b7307a5723296b5d0200cda6d783e3b441bd.tar.gz
Recognize [@@ocaml.immediate] in addition to [@@immediate].
Diffstat (limited to 'stdlib/headernt.c')
0 files changed, 0 insertions, 0 deletions