From 7acf438bf4cc462c6292ae2870c70ec4d5dd7bcb Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Mon, 2 Sep 2013 09:36:04 -0700 Subject: [PATCH] Metavariables will not be part of the kernel Signed-off-by: Leonardo de Moura --- src/kernel/expr.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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