Merge branch 'master' into remove-otiose-instance

Patrick Thomson · web-flow · commit 4ee9c9bc0a6c · 2019-06-13T15:06:46.000-04:00
diff --git a/semantic-core/semantic-core.cabal b/semantic-core/semantic-core.cabal
@@ -1,4 +1,4 @@
-cabal-version:       2.2
+cabal-version:       2.4
 
 name:                semantic-core
 version:             0.0.0.0
diff --git a/semantic.cabal b/semantic.cabal
@@ -1,4 +1,4 @@
-cabal-version:       2.2
+cabal-version:       2.4
 name:                semantic
 version:             0.6.0.0
 synopsis:            Framework and executable for analyzing and diffing untrusted code.
