diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1998-10-15 16:10:53 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1998-10-15 16:10:53 +0000 |
| commit | 66ae9423a784fbc4d35b794906a4dee705afccf2 (patch) | |
| tree | c7228bb91e7f448d7f3e6f7c258cfb9a0897139b /testasmcomp/soli.cmm | |
| parent | fca1be1fddcd0d7a80a16f2282b6595e484556ae (diff) | |
| download | ocaml-66ae9423a784fbc4d35b794906a4dee705afccf2.tar.gz | |
Portage ARM
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2120 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'testasmcomp/soli.cmm')
| -rw-r--r-- | testasmcomp/soli.cmm | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/testasmcomp/soli.cmm b/testasmcomp/soli.cmm index 5bee86ffad..f44859dc9c 100644 --- a/testasmcomp/soli.cmm +++ b/testasmcomp/soli.cmm @@ -101,6 +101,8 @@ (assign i (+ i 1))))) (function "solitaire" () - (if (app "solve" 0 int) - (app "print_board" [] unit) - [])) + (seq + (if (app "solve" 0 int) + (app "print_board" [] unit) + []) + 0)) |