summaryrefslogtreecommitdiffstats
path: root/stdlib/callback.ml
diff options
context:
space:
mode:
authorJacques Garrigue <garrigue at math.nagoya-u.ac.jp>1999-12-08 08:21:57 +0000
committerJacques Garrigue <garrigue at math.nagoya-u.ac.jp>1999-12-08 08:21:57 +0000
commit77d4f18ce657800ebd85530c510521b467d7c3dd (patch)
treed4ff7e2e660afc0463534306f246fd24f8dbcc69 /stdlib/callback.ml
parent181b12cb95b3361d1fd4b44fa25662c994a9eeb4 (diff)
changed label_pattern syntax
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2677 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/callback.ml')
-rw-r--r--stdlib/callback.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/callback.ml b/stdlib/callback.ml
index 5e19cdbdc..91e396553 100644
--- a/stdlib/callback.ml
+++ b/stdlib/callback.ml
@@ -19,5 +19,5 @@ external register_named_value: string -> Obj.t -> unit = "register_named_value"
let register name v =
register_named_value name (Obj.repr v)
-let register_exception name (exn: exn) =
+let register_exception name (exn : exn) =
register_named_value name (Obj.field (Obj.repr exn) 0)