From 37aad3cb67067861a18c2e9e3f9a70c620081673 Mon Sep 17 00:00:00 2001
From: Nanne Wielinga <nanne@mycel.nl>
Date: Sat, 11 Mar 2017 13:22:39 +0100
Subject: [PATCH] change name and rust version

---
 appveyor.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/appveyor.yml b/appveyor.yml
index 6707faf..58b030e 100755
--- a/appveyor.yml
+++ b/appveyor.yml
@@ -5,10 +5,10 @@ environment:
   global:
   # TODO This is the Rust channel that build jobs will use by default but can be
   # overridden on a case by case basis down below
-    RUST_VERSION: stable
+    RUST_VERSION: nightly
 
     # TODO Update this to match the name of your project.
-    CRATE_NAME: trust
+    CRATE_NAME: model_checker
 
   # TODO These are all the build jobs. Adjust as necessary. Comment out what you
   # don't need