From c8fb3bdbf3d35c0fd4496d3150961e1fcb202f05 Mon Sep 17 00:00:00 2001 From: Chimrod <> Date: Thu, 18 Jan 2024 08:25:54 +0100 Subject: Change STATTXT into an identifier instead of a function --- lib/syntax/t.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'lib/syntax/t.ml') diff --git a/lib/syntax/t.ml b/lib/syntax/t.ml index 697b18e..cb9c7ce 100644 --- a/lib/syntax/t.ml +++ b/lib/syntax/t.ml @@ -70,8 +70,6 @@ type function_ = | Rgb | Rnd | Selact - | Stattxt - | Stattxt' | Str | Str' | Strcomp @@ -128,6 +126,8 @@ type keywords = | ShowInput | ShowObjs | ShowStat + | Stattxt + | Stattxt' | Unselect | View | Wait -- cgit v1.2.3