Merge pull request #11 from uob-coms20007/autogenerated

Automated student version
uob-coms20007 · Sep 30, 2021 · 858a4a9 · 858a4a9
2 parents 07fbbd3 + f106614
commit 858a4a9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/reg/reg.cabal b/reg/reg.cabal
@@ -14,7 +14,7 @@ library
 
   exposed-modules:  TrSys, Automata, RegExp, NonDet, Vis
   other-extensions: OverloadedStrings
-  build-depends:    base        ^>=4.15.0.0,
+  build-depends:    base         >=4.14.0.0 && < 4.16.0.0,
                     containers   >= 0.6.4 && < 0.7,
                     graphviz     >= 2999.20.1 && < 2999.21,
                     text         >= 1.2.4 && < 1.3,
@@ -31,7 +31,7 @@ test-suite test
   other-modules:    TrSysTests 
                     RegExpTests 
                     AutomataTests
-  build-depends:    base ^>=4.15.0.0, 
+  build-depends:    base >=4.14.0.0 && < 4.16.0.0, 
                     tasty ^>= 1.4, 
                     tasty-hunit ^>= 0.10.0.3, 
                     containers >= 0.6.4 && < 0.7,