From cee9eed24ae1576a12d5d37f10f2a7c3f86304fc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= Date: Mon, 5 Jul 2010 21:03:35 +0200 Subject: [PATCH] Moved sequential/ to obc/ --- compiler/{sequential => obc}/_tags | 0 compiler/{sequential => obc}/c/c.ml | 0 compiler/{sequential => obc}/c/c.mli | 0 compiler/{sequential => obc}/c/cgen.ml | 0 compiler/{sequential => obc}/c/csubst.ml | 0 compiler/{sequential => obc}/control.ml | 0 compiler/{sequential => obc}/java/java.ml | 0 compiler/{sequential => obc}/obc.ml | 0 compiler/{sequential => obc}/obc_printer.ml | 0 9 files changed, 0 insertions(+), 0 deletions(-) rename compiler/{sequential => obc}/_tags (100%) rename compiler/{sequential => obc}/c/c.ml (100%) rename compiler/{sequential => obc}/c/c.mli (100%) rename compiler/{sequential => obc}/c/cgen.ml (100%) rename compiler/{sequential => obc}/c/csubst.ml (100%) rename compiler/{sequential => obc}/control.ml (100%) rename compiler/{sequential => obc}/java/java.ml (100%) rename compiler/{sequential => obc}/obc.ml (100%) rename compiler/{sequential => obc}/obc_printer.ml (100%) diff --git a/compiler/sequential/_tags b/compiler/obc/_tags similarity index 100% rename from compiler/sequential/_tags rename to compiler/obc/_tags diff --git a/compiler/sequential/c/c.ml b/compiler/obc/c/c.ml similarity index 100% rename from compiler/sequential/c/c.ml rename to compiler/obc/c/c.ml diff --git a/compiler/sequential/c/c.mli b/compiler/obc/c/c.mli similarity index 100% rename from compiler/sequential/c/c.mli rename to compiler/obc/c/c.mli diff --git a/compiler/sequential/c/cgen.ml b/compiler/obc/c/cgen.ml similarity index 100% rename from compiler/sequential/c/cgen.ml rename to compiler/obc/c/cgen.ml diff --git a/compiler/sequential/c/csubst.ml b/compiler/obc/c/csubst.ml similarity index 100% rename from compiler/sequential/c/csubst.ml rename to compiler/obc/c/csubst.ml diff --git a/compiler/sequential/control.ml b/compiler/obc/control.ml similarity index 100% rename from compiler/sequential/control.ml rename to compiler/obc/control.ml diff --git a/compiler/sequential/java/java.ml b/compiler/obc/java/java.ml similarity index 100% rename from compiler/sequential/java/java.ml rename to compiler/obc/java/java.ml diff --git a/compiler/sequential/obc.ml b/compiler/obc/obc.ml similarity index 100% rename from compiler/sequential/obc.ml rename to compiler/obc/obc.ml diff --git a/compiler/sequential/obc_printer.ml b/compiler/obc/obc_printer.ml similarity index 100% rename from compiler/sequential/obc_printer.ml rename to compiler/obc/obc_printer.ml