Comment out unavailable header file

diff --git a/src/template-with-reset.cc b/src/template-with-reset.cc
index 2266a3e7f4f2cef636942ca62f66fedf7f670eb1..75a177672be8e175e8551b3a54317cbc7195db67 100644 (file)
--- a/src/template-with-reset.cc
+++ b/src/template-with-reset.cc
@@ -2,7 +2,8 @@
 #include <iostream>
 #include <json/json.h>
 #include <vector>
-#include "fiat_punto.h"
+// When the file with precomputed entries is ready.
+//#include "fiat_punto.h"
 #include "pslot.hh"
 #include "rrtsp.hh"