From e3ec44cd96173ca9d33c0e82403dc9a0c8ffc2d8 Mon Sep 17 00:00:00 2001
From: leovct <l009.vincent@gmail.com>
Date: Wed, 27 Mar 2024 17:46:49 +0100
Subject: [PATCH] fix: compilation errors

---
 contracts/mocks/DaiMock.sol | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/contracts/mocks/DaiMock.sol b/contracts/mocks/DaiMock.sol
index 9413b37c6..4e284aa00 100644
--- a/contracts/mocks/DaiMock.sol
+++ b/contracts/mocks/DaiMock.sol
@@ -3,7 +3,7 @@
  */
 
 // hevm: flattened sources of /nix/store/8xb41r4qd0cjb63wcrxf1qmfg88p0961-dss-6fd7de0/src/dai.sol
-pragma solidity >=0.5.12;
+pragma solidity <=0.5.12;
 
 // Copeid DAi for testing porpuses. The notes are removed from this contract as it does not work correctly woith the
 // coverage solidity compiler