From 2a0d180493251e6f0e4f3432f75de489a132e923 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Mon, 3 Mar 2014 17:25:49 +0000
Subject: Force dependency of SelectOp on Compopts.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2428 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 ia32/SelectOp.vp | 1 +
 1 file changed, 1 insertion(+)

(limited to 'ia32')

diff --git a/ia32/SelectOp.vp b/ia32/SelectOp.vp
index d8a2127..e80c3f3 100644
--- a/ia32/SelectOp.vp
+++ b/ia32/SelectOp.vp
@@ -37,6 +37,7 @@
 *)
 
 Require Import Coqlib.
+Require Import Compopts.
 Require Import AST.
 Require Import Integers.
 Require Import Floats.
-- 
cgit v1.2.3