From ef6e39c7df09cb9c48f85bc5a47a82bda9db5383 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Fri, 1 Mar 2013 16:00:19 +0000
Subject: No longer a dependency on Machtyping

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2132 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 ia32/Asmgenproof1.v | 1 -
 1 file changed, 1 deletion(-)

(limited to 'ia32')

diff --git a/ia32/Asmgenproof1.v b/ia32/Asmgenproof1.v
index 75d59a4..e3e62cc 100644
--- a/ia32/Asmgenproof1.v
+++ b/ia32/Asmgenproof1.v
@@ -23,7 +23,6 @@ Require Import Globalenvs.
 Require Import Op.
 Require Import Locations.
 Require Import Mach.
-Require Import Machtyping.
 Require Import Asm.
 Require Import Asmgen.
 Require Import Asmgenproof0.
-- 
cgit v1.2.3