summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--asmcomp/emit_hppa.mlp2
1 files changed, 1 insertions, 1 deletions
diff --git a/asmcomp/emit_hppa.mlp b/asmcomp/emit_hppa.mlp
index 45cb929ba..79cb6671c 100644
--- a/asmcomp/emit_hppa.mlp
+++ b/asmcomp/emit_hppa.mlp
@@ -247,7 +247,7 @@ let emit_float_constant (lbl, cst) =
let defined_functions = ref StringSet.empty
-let stub_label_table = (Hashtbl.new 19 : (string, int) Hashtbl.t)
+let stub_label_table = (Hashtbl.create 19 : (string, int) Hashtbl.t)
let stub_label symb =
try