From 098b763939da4bbf6b31898fe915983d31344c3d Mon Sep 17 00:00:00 2001
From: Peter Simons <simons@cryp.to>
Date: Thu, 26 Aug 2010 12:06:05 +0000
Subject: [PATCH] pkgs/applications/science/logic/prover9: fixed trivial syntax
 error

svn path=/nixpkgs/trunk/; revision=23453
---
 pkgs/applications/science/logic/prover9/default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkgs/applications/science/logic/prover9/default.nix b/pkgs/applications/science/logic/prover9/default.nix
index 5ef7e721a8f..129abef0b3d 100644
--- a/pkgs/applications/science/logic/prover9/default.nix
+++ b/pkgs/applications/science/logic/prover9/default.nix
@@ -31,7 +31,7 @@ stdenv.mkDerivation {
   meta = {
     homepage = "http://www.cs.unm.edu/~mccune/mace4/";
     license = "GPL";
-    description = "Prover9 is an automated theorem prover for first-order and equational logic."
+    description = "Prover9 is an automated theorem prover for first-order and equational logic.";
 
     longDescription = ''
       Prover9 is a resolution/paramodulation automated theorem prover