# HG changeset patch
# User jbe
# Date 1449178325 -3600
# Node ID b858e90f6cdd6d4a80da33372a75bb63ba98aea8
# Parent  63af9100628cbf471f4a0fcb2c23eea21bf99fbc
Fixed error in update script to v3.1.0

diff -r 63af9100628c -r b858e90f6cdd update/core-update.v3.0.5-v3.1.0.sql
--- a/update/core-update.v3.0.5-v3.1.0.sql	Thu Dec 03 22:30:18 2015 +0100
+++ b/update/core-update.v3.0.5-v3.1.0.sql	Thu Dec 03 22:32:05 2015 +0100
@@ -19,7 +19,7 @@
 ALTER TABLE "policy" ADD CONSTRAINT "timing" CHECK (
   ( "polling" = FALSE AND
     "min_admission_time" NOTNULL AND "max_admission_time" NOTNULL AND
-    "min_admission_time" <= "max_admission_time"
+    "min_admission_time" <= "max_admission_time" AND
     "discussion_time" NOTNULL AND
     "verification_time" NOTNULL AND
     "voting_time" NOTNULL ) OR