From c149e53e5816c266996b7ece0ef91b4fc5a92302 Mon Sep 17 00:00:00 2001 From: Chelsea Sidrane Date: Tue, 19 Nov 2019 12:25:20 -0800 Subject: [PATCH] Update lab.md --- lab.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/lab.md b/lab.md index 62bd3c47053..1932e68a91a 100644 --- a/lab.md +++ b/lab.md @@ -8,8 +8,7 @@ this lab build on each other, so it is advisable to follow them in order. ## Getting the Source Code and Compiling CVC4 -Use [Git](https://git-scm.com/) to clone this repository and use `git checkout -assignment3` to use the branch that corresponds to this assignment. +Use [Git](https://git-scm.com/) to clone this repository and use `git checkout --track origin/assignment3` to use the branch that corresponds to this assignment. Before we get started, we have to compile CVC4. CVC4 can currently be compiled on Linux and macOS. It can be cross-compiled for Windows but compilation on