diff --git a/flap/src/fopix/hobixToFopix.ml b/flap/src/fopix/hobixToFopix.ml
index 7d39d3b..aaf4a17 100644
--- a/flap/src/fopix/hobixToFopix.ml
+++ b/flap/src/fopix/hobixToFopix.ml
@@ -239,8 +239,7 @@ let translate (p : S.t) env =
       let fname = make_fresh_function_identifier () in
       let x = List.map identifier x in
       let efs, e = expression env e in
-      failwith "Students! This is your job (S.Fun)!"
-      (* efs, T.DefineFunction (fname, x, e) *)
+      T.DefineFunction (fname, x, e) :: efs, e
     | S.AllocateBlock a ->
       let afs, a = expression env a in
       afs, allocate_block a