diff options
Diffstat (limited to 'lib/dyn.ml')
| -rw-r--r-- | lib/dyn.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/dyn.ml b/lib/dyn.ml index 92fa14f6d4..3d6d43f8c4 100644 --- a/lib/dyn.ml +++ b/lib/dyn.ml @@ -10,7 +10,8 @@ type t = string * Obj.t let dyntab = ref ([] : string list) let create s = - if List.mem s !dyntab then anomaly "Dyn.create: already declared dynamic"; + if List.mem s !dyntab then + anomaly ("Dyn.create: already declared dynamic " ^ s); dyntab := s :: !dyntab; ((fun v -> (s,Obj.repr v)), (fun (s',rv) -> |