From 61ccbc81a2f3b4662ed4a2bad9d07d2003dda3a2 Mon Sep 17 00:00:00 2001
From: glondu <glondu@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Thu, 17 Sep 2009 15:58:14 +0000
Subject: Delete trailing whitespaces in all *.{v,ml*} files

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12337 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 plugins/dp/fol.mli | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'plugins/dp/fol.mli')

diff --git a/plugins/dp/fol.mli b/plugins/dp/fol.mli
index 32637bb74..4fb763a6d 100644
--- a/plugins/dp/fol.mli
+++ b/plugins/dp/fol.mli
@@ -1,11 +1,11 @@
 
 (* Polymorphic First-Order Logic (that is Why's input logic) *)
 
-type typ = 
+type typ =
   | Tvar of string
   | Tid of string * typ list
 
-type term =   
+type term =
   | Cst of Big_int.big_int
   | RCst of Big_int.big_int
   | Power2 of Big_int.big_int
@@ -16,7 +16,7 @@ type term =
   | Opp of term
   | App of string * term list
 
-and atom =   
+and atom =
   | Eq of term * term
   | Le of term * term
   | Lt of term * term
@@ -24,7 +24,7 @@ and atom =
   | Gt of term * term
   | Pred of string * term list
 
-and form = 
+and form =
   | Fatom of atom
   | Imp of form * form
   | Iff of form * form
@@ -48,8 +48,8 @@ type query = decl list * form
 
 (* prover result *)
 
-type prover_answer = 
-  | Valid of string option 
+type prover_answer =
+  | Valid of string option
   | Invalid
   | DontKnow
   | Timeout
-- 
cgit v1.2.3