gamnit: use API 19 services to fix premultiplied texture on Android

[nit.git] / examples / mnit_dino / src / dino.nit

diff --git a/examples/mnit_dino/src/dino.nit b/examples/mnit_dino/src/dino.nit
index d92c468..27ced99 100644 (file)
--- a/examples/mnit_dino/src/dino.nit
+++ b/examples/mnit_dino/src/dino.nit
@@ -31,7 +31,7 @@ redef class App
        var cavemen_incr = 4
 
        var game : nullable Game = null
-       var score = new Container[Int](0)
+       var score = new Ref[Int](0)
        var imgs : nullable ImageSet = null
        var splash : nullable SplashScreen = null
 
@@ -39,7 +39,7 @@ redef class App
        do
                super
 
-               maximum_fps = 80
+               maximum_fps = 80.0
 
                var display = display
                assert display != null
@@ -81,7 +81,7 @@ redef class App
                                if game.won then
                                        next_nbr_caveman += cavemen_incr
                                else
-                                       score = new Container[Int](0)
+                                       score = new Ref[Int](0)
                                        next_nbr_caveman = cavemen_at_first_level
                                end
                                game = new Game( next_nbr_caveman, score )