From f8bc3114d2f36de5f743a7f6695b2353090f7e36 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= <kn@lri.fr>
Date: Sat, 9 Mar 2013 22:40:19 +0100
Subject: [PATCH] Rename the main testing program.

---
 main.itarget             | 2 +-
 src/{test.ml => main.ml} | 0
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename src/{test.ml => main.ml} (100%)

diff --git a/main.itarget b/main.itarget
index 8171f3b..d188d1e 100644
--- a/main.itarget
+++ b/main.itarget
@@ -1 +1 @@
-src/test.native
+src/main.native
diff --git a/src/test.ml b/src/main.ml
similarity index 100%
rename from src/test.ml
rename to src/main.ml
-- 
2.17.1