From 0418990a36f914c3eb69a2c63af6cfa6a05ec422 Mon Sep 17 00:00:00 2001
From: Karl Palmskog <palmskog@gmail.com>
Date: Sun, 26 Jul 2020 17:41:20 -0500
Subject: [PATCH] configuration adjustments for Coq 8.12

---
 .travis.yml | 11 +++++++----
 LICENSE     |  2 +-
 _CoqProject |  1 +
 3 files changed, 9 insertions(+), 5 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index c2d526c..a9a03ba 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,6 +1,9 @@
-opam: &OPAM
-  language: minimal
-  sudo: required
+os: linux
+dist: bionic
+language: shell
+
+.opam: &OPAM
+  language: shell
   services: docker
   install: |
     # Prepare the COQ container
@@ -30,7 +33,7 @@ opam: &OPAM
   - docker stop COQ  # optional
   - echo -en 'travis_fold:end:script\\r'
 
-matrix:
+jobs:
   include:
 
   # Test supported versions of Coq via OPAM
diff --git a/LICENSE b/LICENSE
index dfde39d..e9c5fed 100644
--- a/LICENSE
+++ b/LICENSE
@@ -1,4 +1,4 @@
-Copyright (c) 2016-2019, Distributed Components Team.
+Copyright (c) 2016-2020, Distributed Components Team.
 All rights reserved.
 
 Redistribution and use in source and binary forms, with or without
diff --git a/_CoqProject b/_CoqProject
index 02350a0..9fbc79c 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -6,6 +6,7 @@
 -arg -w -arg -redundant-canonical-projection
 -arg -w -arg -projection-no-head-constant
 -arg -w -arg -duplicate-clear
+-arg -w -arg -notation-incompatible-format
 
 Core/Domain.v
 Core/State.v