From e053a3fd0e31e1e1a08d481aeb86a4cf6f3c0cc8 Mon Sep 17 00:00:00 2001
From: johnvg
Date: Tue, 22 Nov 2005 14:13:35 +0000
Subject: removed unused function F

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1573 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/convertDynamics.icl | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'frontend/convertDynamics.icl')

diff --git a/frontend/convertDynamics.icl b/frontend/convertDynamics.icl
index 9608d16..28b9876 100644
--- a/frontend/convertDynamics.icl
+++ b/frontend/convertDynamics.icl
@@ -36,9 +36,6 @@ import type_io;
 	,	cinp_subst_var		:: !BoundVar
 	}
 
-F :: !a .b -> .b
-F a b = b
-
 fatal :: {#Char} {#Char} -> .a
 fatal function_name message
 	=	abort ("convertDynamics, " +++ function_name +++ ": " +++ message)
-- 
cgit v1.2.3