From 39b3f17376c032d81bbfedfb9c07acc68c2e32ca Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Tue, 8 Nov 2016 15:40:33 +0100 Subject: Fix ctoclean --- ctoclean/square.dcl | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'ctoclean/square.dcl') diff --git a/ctoclean/square.dcl b/ctoclean/square.dcl index ea9aaa2..2306c55 100644 --- a/ctoclean/square.dcl +++ b/ctoclean/square.dcl @@ -1,5 +1,4 @@ definition module square -square :: !Int -> Int +clean_square :: !Int -> Int call_square :: !Int -> Int - -- cgit v1.2.3