diff --git a/smtsolver.ts b/smtsolver.ts
index da817837..1a2c1854 100644
--- a/smtsolver.ts
+++ b/smtsolver.ts
@@ -1,7 +1,7 @@
 import { sync as commandExistsSync } from 'command-exists';
 import { execSync } from 'child_process';
 import * as fs from 'fs';
-import tmp from 'tmp';
+import * as tmp from 'tmp';
 
 // Timeout in ms.
 const timeout = 10000;