Index: translator/examples/swap.c
===================================================================
--- translator/examples/swap.c	(revision 17cd4ebabb684710b2f3698449093c4e84b8fb70)
+++ translator/examples/swap.c	(revision 0b8cd7227c65b28513877765de7302e28eefbb6f)
@@ -4,10 +4,9 @@
 
 forall( type T )
-T swap( T *left, T *right ) {
+void swap( T *left, T *right ) {
     T temp;
     temp = *left;
     *left = *right;
     *right = temp;
-    return *right;
 }
 
@@ -15,7 +14,6 @@
     int x = 1, y = 2;
     printf( "%d %d\n", x, y );
-    int w;
-    w = swap( &x, &y );
-    printf( "%d %d %d\n", w, x, y );
+    swap( &x, &y );
+    printf( "%d %d\n", x, y );
 }