From f4100a8095f181c2888d5cca0694966f5480159f Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Fri, 12 Sep 2008 14:09:29 +0100 Subject: [PATCH] small update to instruction name --- H/amidefs.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/H/amidefs.h b/H/amidefs.h index 3e934518e..0fdbb93bd 100644 --- a/H/amidefs.h +++ b/H/amidefs.h @@ -161,7 +161,7 @@ typedef enum { Types of possible YAAM instructions. - The meaning of the symbols in a abstract machine instruction is: + The meaning and type of the symbols in a abstract machine instruction is: b: arity (Int) b: bitmap (CELL *) @@ -170,7 +170,7 @@ typedef enum { f: functor F: Function, CPredicate i: large integer (functor + long) - I: index (struct logic_upd_index *) + I: logic upd index (struct logic_upd_index *) l: label, yamop * L: logic upd clause, logic_upd_clause * m: module, Term