# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1486226974 -3600
# Node ID 1211f066046bee785ea065968956997d988c6f92
# Parent  eb8ecbef79d5522dece809c777d8fa5cd6eb3104
Removed a redundant function.

diff -r eb8ecbef79d5 -r 1211f066046b encoders.py
--- a/encoders.py	Sat Feb 04 17:49:05 2017 +0100
+++ b/encoders.py	Sat Feb 04 17:49:34 2017 +0100
@@ -312,12 +312,6 @@
 
     return "__fn_%s" % encode_path(path)
 
-def encode_initialiser_pointer(path):
-
-    "Encode 'path' as a reference to an initialiser function structure."
-
-    return encode_path("%s.__init__" % path)
-
 def encode_instantiator_pointer(path):
 
     "Encode 'path' as a reference to an output program instantiator."