diff --git a/passes/sat/clk2fflogic.cc b/passes/sat/clk2fflogic.cc
index ef6d5dd72..fbd71fe58 100644
--- a/passes/sat/clk2fflogic.cc
+++ b/passes/sat/clk2fflogic.cc
@@ -72,6 +72,11 @@ struct Clk2fflogicPass : public Pass {
 
 			for (auto cell : vector<Cell*>(module->selected_cells()))
 			{
+				if (cell->type.in("$mem"))
+				{
+					log_error("Currently there is no support for memories in clk2fflogic. Run memory_map first to convert memories to logic.\n");
+				}
+
 				if (cell->type.in("$dlatch"))
 				{
 					bool enpol = cell->parameters["\\EN_POLARITY"].as_bool();