summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>1997-10-16 16:11:17 +0000
committerXavier Leroy <xavier.leroy@inria.fr>1997-10-16 16:11:17 +0000
commitf9e3751bf3619f59aefa5df94cc722e9612bfdbd (patch)
tree1f1b80f43678b1d5085bdeea68ec09c046727d14
parentf96ff2b7df3454367bf3a659cb97ddab667522f6 (diff)
Assertion dans leave_blocking_section
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1725 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--byterun/signals.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/byterun/signals.c b/byterun/signals.c
index a078702b1..df01d68cb 100644
--- a/byterun/signals.c
+++ b/byterun/signals.c
@@ -78,8 +78,8 @@ void enter_blocking_section(void)
void leave_blocking_section(void)
{
- Assert(async_signal_mode);
if (leave_blocking_section_hook != NULL) leave_blocking_section_hook();
+ Assert(async_signal_mode);
async_signal_mode = 0;
}