From e971f76205231260b4291c5e7d299be6dc170bf2 Mon Sep 17 00:00:00 2001
From: Alex Beregszaszi <alex@rtfs.hu>
Date: Thu, 4 Jul 2019 12:15:17 +0100
Subject: [PATCH] Remove dependency on fs-extra in smtsolver

---
 smtsolver.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/smtsolver.js b/smtsolver.js
index c263d105..d1fa87ff 100644
--- a/smtsolver.js
+++ b/smtsolver.js
@@ -1,6 +1,6 @@
 var commandExistsSync = require('command-exists').sync;
 var execSync = require('child_process').execSync;
-var fs = require('fs-extra');
+var fs = require('fs');
 var tmp = require('tmp');
 
 var potentialSolvers = [