From 803b83c87a260e7f5e6d23dc6ccd81c1150b12b7 Mon Sep 17 00:00:00 2001
From: Pat Hickey <pat@moreproductive.org>
Date: Wed, 22 Nov 2017 17:18:54 -0800
Subject: [PATCH] wasm: change to new externalname api

---
 lib/wasm/src/environ/dummy.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/wasm/src/environ/dummy.rs b/lib/wasm/src/environ/dummy.rs
index 64733684be..8c9c7c3d8d 100644
--- a/lib/wasm/src/environ/dummy.rs
+++ b/lib/wasm/src/environ/dummy.rs
@@ -13,7 +13,7 @@ use std::error::Error;
 
 /// Compute a `ir::ExternalName` for a given wasm function index.
 fn get_func_name(func_index: FunctionIndex) -> ir::ExternalName {
-    ir::ExternalName::new(format!("wasm_0x{:x}", func_index))
+    ir::ExternalName::user(0, func_index as u32)
 }
 
 /// A collection of names under which a given entity is exported.