diff --git a/src/kernel/expr.h b/src/kernel/expr.h
index 03d45b0566..00f52bda01 100644
--- a/src/kernel/expr.h
+++ b/src/kernel/expr.h
@@ -28,7 +28,7 @@ class value;
           |   Eq            expr expr         (heterogeneous equality)
           |   Let           name expr expr
 
-TODO: add meta-variables, and match expressions.
+TODO: match expressions.
 
 The main API is divided in the following sections
 - Testers