diff options
Diffstat (limited to 'lib/compiler/src/v3_kernel.hrl')
| -rw-r--r-- | lib/compiler/src/v3_kernel.hrl | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/lib/compiler/src/v3_kernel.hrl b/lib/compiler/src/v3_kernel.hrl index e8336a8f26..582e4f9b12 100644 --- a/lib/compiler/src/v3_kernel.hrl +++ b/lib/compiler/src/v3_kernel.hrl @@ -52,9 +52,6 @@ -record(k_test, {anno=[],op,args}). -record(k_call, {anno=[],op,args,ret=[]}). -record(k_enter, {anno=[],op,args}). --record(k_receive, {anno=[],var,body,timeout,action,ret=[]}). --record(k_receive_accept, {anno=[]}). --record(k_receive_next, {anno=[]}). -record(k_try, {anno=[],arg,vars,body,evars,handler,ret=[]}). -record(k_try_enter, {anno=[],arg,vars,body,evars,handler}). -record(k_catch, {anno=[],body,ret=[]}). |