From 530dddeccd72fdb818caa087f0a59a71ac78ba0a Mon Sep 17 00:00:00 2001
From: Eduardo Marques <edrdo@dcc.fc.up.pt>
Date: Tue, 16 Apr 2019 00:01:01 +0100
Subject: [PATCH] pom.xml: updated version of org.mockito:mockito-core

---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index 46b64905..79295715 100644
--- a/pom.xml
+++ b/pom.xml
@@ -73,7 +73,7 @@
 		<dependency>
 			<groupId>org.mockito</groupId>
 			<artifactId>mockito-core</artifactId>
-			<version>2.25.1</version>
+			<version>2.27.0</version>
 			<scope>test</scope>
 		</dependency>
 		<dependency>