---

pcwalton · pcwalton · commit 825f084efa79 · 2010-08-13T16:33:04.000-07:00
yaml --- r: 509 b: refs/heads/master c: 176899a h: refs/heads/master i: 507: 7b602fe v: v3
diff --git a/[refs] b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: abe307cf451e02227d681eecca0e471f4f4534a7
+refs/heads/master: 176899a970b5ccea7aea43bee31c9ee08860ab0f
diff --git a/trunk/src/boot/me/dwarf.ml b/trunk/src/boot/me/dwarf.ml
@@ -2795,6 +2795,7 @@ let rec extract_meta
     queue_to_arr meta
 ;;
 
+let external_opaques = Hashtbl.create 0;;
 
 let rec extract_mod_items
     (nref:node_id ref)
@@ -2816,7 +2817,6 @@ let rec extract_mod_items
       id
   in
 
-  let external_opaques = Hashtbl.create 0 in
   let get_opaque_of o =
     htab_search_or_add external_opaques o
       (fun _ -> next_opaque_id())

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`---`
`2`		`-refs/heads/master: abe307cf451e02227d681eecca0e471f4f4534a7`
	`2`	`+refs/heads/master: 176899a970b5ccea7aea43bee31c9ee08860ab0f`