server changes
[carveJwlIkooP6JGAAIwe30JlM.git] / world_routes.c
index efde3644dd07d3203988a0d1ddb577ad42d9cafe..d366a123e09ee0f3f5e079504dacf1e66bdbb440 100644 (file)
@@ -22,7 +22,7 @@
 
 VG_STATIC 
 void world_routes_local_set_record( world_instance *world, ent_route *route,
-                                    double lap_time )
+                                    f64 lap_time )
 {
    vg_success( "  NEW LAP TIME: %f\n", lap_time );
 
@@ -37,7 +37,6 @@ void world_routes_local_set_record( world_instance *world, ent_route *route,
       temp.playerid = 0;
       temp.points   = 0;
       temp.time     = time_centiseconds;
-
 #if 0
       highscores_push_record( &temp );
 #endif