diff --git a/utils/file.js b/utils/file.js
index 97b2bc6..d447555 100644
--- a/utils/file.js
+++ b/utils/file.js
@@ -252,6 +252,7 @@ module.exports.additionalExtensions = [
   "ipynb",
   "gp",
   "out",
+  "sol",
 ];
 module.exports.isText = (p) => {
   if (isText(p)) {