diff --git a/ivl.def b/ivl.def
index 48b798910..16989795a 100644
--- a/ivl.def
+++ b/ivl.def
@@ -222,10 +222,7 @@ ivl_switch_a
 ivl_switch_b
 ivl_switch_basename
 ivl_switch_enable
-ivl_switch_scope
 ivl_switch_type
-ivl_switch_attr_cnt;
-ivl_switch_attr_val;
 
 ivl_udp_init
 ivl_udp_name
diff --git a/ivl_target.h b/ivl_target.h
index a39366a18..13477eb62 100644
--- a/ivl_target.h
+++ b/ivl_target.h
@@ -1854,9 +1854,6 @@ extern ivl_statement_t ivl_stmt_sub_stmt(ivl_statement_t net);
  * ivl_switch_basename
  *    This is the name given to the device in the source code.
  *
- * ivl_switch_scope
- *    The scope where the switch device appears.
- *
  * ivl_switch_a
  * ivl_switch_b
  *    The a and b ports are the two ports of the switch.
@@ -1871,14 +1868,10 @@ extern ivl_statement_t ivl_stmt_sub_stmt(ivl_statement_t net);
  */
 extern ivl_switch_type_t ivl_switch_type(ivl_switch_t net);
 extern const char*ivl_switch_basename(ivl_switch_t net);
-extern ivl_scope_t ivl_switch_scope(ivl_switch_t net);
 extern ivl_nexus_t ivl_switch_a(ivl_switch_t net);
 extern ivl_nexus_t ivl_switch_b(ivl_switch_t net);
 extern ivl_nexus_t ivl_switch_enable(ivl_switch_t net);
 
-extern unsigned        ivl_switch_attr_cnt(ivl_switch_t net);
-extern ivl_attribute_t ivl_switch_attr_val(ivl_switch_t net, unsigned idx);
-
 #if defined(__MINGW32__) || defined (__CYGWIN32__)
 #  define DLLEXPORT __declspec(dllexport)
 #else