From 43996255f614ac57deb2fc0666f221853c60b343 Mon Sep 17 00:00:00 2001 From: Marvin Borner Date: Thu, 13 Apr 2023 16:44:53 +0200 Subject: Options and fixes --- inc/print.h | 2 ++ 1 file changed, 2 insertions(+) (limited to 'inc/print.h') diff --git a/inc/print.h b/inc/print.h index 9885f57..30f67d4 100644 --- a/inc/print.h +++ b/inc/print.h @@ -5,8 +5,10 @@ #define BLOC_PRINT_H #include +#include void print_bruijn(struct term *term); void print_blc(struct term *term); +void print_bloc(struct bloc_parsed *bloc); #endif -- cgit v1.2.3