diff --git a/kernel/yosys.h b/kernel/yosys.h
index 1076fb215..5ec681b32 100644
--- a/kernel/yosys.h
+++ b/kernel/yosys.h
@@ -160,6 +160,7 @@ using std::pair;
 
 using std::make_tuple;
 using std::make_pair;
+using std::get;
 using std::min;
 using std::max;