diff --git a/source/Circuit.cpp b/source/Circuit.cpp
index 0a8637b..f1abc1c 100644
--- a/source/Circuit.cpp
+++ b/source/Circuit.cpp
@@ -142,11 +142,11 @@ void Circuit::abc_lut_map(char *lib) {
     char input_file[256], lut_file[256], lutlib_file[256];
     sprintf(input_file, "%s", benchmark.c_str());
     sprintf(lut_file, "%s_lut.blif", benchmark.c_str());
-    sprintf(lutlib_file, "abclib/%s.blif", lib);
+    sprintf(lutlib_file, "abclib/%s", lib);
     abc_lutpack(input_file, lut_file, lib);
 
     int area[10] = { }, delay[10] = { };
-    sprintf(lutlib_file, "abclib/%s.blif", lib);
+    sprintf(lutlib_file, "abclib/%s", lib);
     ifstream fin_lut(lutlib_file, ios::in);
     if (!fin_lut.is_open()) {
         return;