From 73729d23ac13275c0d28d23bc1b1f6056104e5d9 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Mon, 4 Sep 2006 15:08:29 +0000
Subject: Fusion de la branche "traces": - Ajout de traces d'evenements d'E/S
 dans les semantiques - Ajout constructions switch et allocation dynamique -
 Initialisation des variables globales - Portage Coq 8.1 beta Debut
 d'integration du front-end C: - Traduction Clight -> Csharpminor dans
 cfrontend/ - Modifications de Csharpminor et Globalenvs en consequence.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@72 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 caml/Allocationaux.mli | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100644 caml/Allocationaux.mli

(limited to 'caml/Allocationaux.mli')

diff --git a/caml/Allocationaux.mli b/caml/Allocationaux.mli
deleted file mode 100644
index 0cf3b944..00000000
--- a/caml/Allocationaux.mli
+++ /dev/null
@@ -1,5 +0,0 @@
-open Datatypes
-open List
-open Locations
-
-val parallel_move_order: loc list -> loc list -> (loc, loc) prod list
-- 
cgit