From e9558fd6dd549e6be4ef10a00113fdeceff51a4c Mon Sep 17 00:00:00 2001
From: Thomas Bauereiss
Date: Wed, 2 Aug 2017 16:16:26 +0100
Subject: Improve pretty-printing of register declaration and assignment

---
 src/ast_util.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/ast_util.mli')

diff --git a/src/ast_util.mli b/src/ast_util.mli
index 6e22d173..8a07b83f 100644
--- a/src/ast_util.mli
+++ b/src/ast_util.mli
@@ -119,6 +119,7 @@ end
 
 val nexp_frees : nexp -> KidSet.t
 val nexp_identical : nexp -> nexp -> bool
+val is_nexp_constant : nexp -> bool
 
 val is_number : typ -> bool
 val is_vector_typ : typ -> bool
-- 
cgit v1.2.3