From 729c37f3cc710b3b76cc46b160a52ed38519de7f Mon Sep 17 00:00:00 2001
From: Ben Blum <bblum@andrew.cmu.edu>
Date: Wed, 25 Jul 2012 13:29:50 -0400
Subject: [PATCH] (minor) remove config_notify from rustrt.def.in

---
 src/rt/rustrt.def.in | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/rt/rustrt.def.in b/src/rt/rustrt.def.in
index 5d35b30086b..b3bc75d03c5 100644
--- a/src/rt/rustrt.def.in
+++ b/src/rt/rustrt.def.in
@@ -55,7 +55,6 @@ rust_env_pairs
 rust_task_yield
 rust_task_is_unwinding
 rust_get_task
-rust_task_config_notify
 rust_task_weaken
 rust_task_unweaken
 sched_threads