1 files changed, 0 insertions, 13 deletions
diff --git a/tmp/add.c b/tmp/add.c
deleted file mode 100644
index 99267ed..0000000
--- a/tmp/add.c
+++ /dev/null
@@ -1,13 +0,0 @@
-#include "api.h"
-
-int add(int a, int b) {
-  return a * a + b;
-}
-
-void persistInt(int n) {
-  platformDependentPersistInt(n);
-}
-
-int retrieveInt() {
-  return platformDependentRetrieveInt();
-}