Pushing on lr1 stack is now public

[cascardo/grammar.git] / lr1.h

diff --git a/lr1.h b/lr1.h
index 89de8ce..de4faa8 100644 (file)
--- a/lr1.h
+++ b/lr1.h
@@ -13,6 +13,7 @@ void transition_delete (transition_t*);
 lr1_t* lr1_new (nextcb, gpointer);
 void lr1_delete (lr1_t*);
 void lr1_add (lr1_t*, gint, symbol_t*, transition_t*);
+void lr1_push (lr1_t*, gint, gpointer);
 gpointer lr1_build (lr1_t*);
 
 #endif