diff options
Diffstat (limited to 'src/gtksnippet.h')
| -rw-r--r-- | src/gtksnippet.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/gtksnippet.h b/src/gtksnippet.h index 1858796..6e89a3c 100644 --- a/src/gtksnippet.h +++ b/src/gtksnippet.h @@ -56,6 +56,10 @@ code_line_info *create_code_line_info(uint64_t, asm_instr *, const char *); /* Supprime une ligne de représentation. */ void delete_code_line_info(code_line_info *); +/* Etablit la comparaison entre deux lignes de représentation. */ +int compare_code_line_info(const code_line_info **, const code_line_info **); + + |