Merge remote-tracking branch 'upstream/master'

Conflicts:
	src/main.cpp

src/main.cpp

@@ -1,6 +1,10 @@
+<<<<<<< HEAD
 
 //Dummy line for pull request test
 //Hello at the top
+=======
+//
+>>>>>>> upstream/master
 #include "automata.h"
 #include "pass.h"
 #include "profiler.h"
@@ -11,7 +15,6 @@
 #include <chrono>
 #include <ctime>
 #include <thread>
-#include "errno.h"
 
 #define FROM_INPUT_STRING false
 
@@ -63,25 +66,11 @@ uint32_t fileSize(string fn) {
     return fileSize;
 }
 
-void checkError()
-{
-	if(errno == ENOENT)
-	{
-		cout<< "VAsim Error: input file could not be found"<<endl;
-		exit(-1);
-	}
-}
-
 vector<unsigned char> file2CharVector(string fn) {
 
     // open the file:
     std::ifstream file(fn, ios::binary);
 
-	if(file.fail())
-	{
-		checkError();
-	}
-
     // get its size:
     std::streampos fileSize;