diff options
| author | Pixel <Pixel> | 2001-05-02 00:18:08 +0000 |
|---|---|---|
| committer | Pixel <Pixel> | 2001-05-02 00:18:08 +0000 |
| commit | 064a422245f2ef4e881f50350dbbf686283ae310 (patch) | |
| tree | d6043c3fd05a3f0842ac67cf6f72fa82ddb3e347 /include/pile.h | |
| parent | 7dd4d0c7b11f8341fc4f7c357273c4d14f6bb237 (diff) | |
Pouet
Diffstat (limited to 'include/pile.h')
| -rw-r--r-- | include/pile.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/include/pile.h b/include/pile.h index 031424f..e06d11f 100644 --- a/include/pile.h +++ b/include/pile.h @@ -41,6 +41,6 @@ void move_to_resultat_pile(void); char * pop_resultat(void); - +int has_resultat(void); #endif |