Index: gecode/driver/options.hpp
===================================================================
--- gecode/driver/options.hpp	(revision 11751)
+++ gecode/driver/options.hpp	(working copy)
@@ -359,19 +359,19 @@
 
   forceinline void
   Options::_I::click(Gist::Inspector* i) {
-    _click[n_click++] = i;
+    _click[static_cast<int>(n_click++)] = i;
   }
   forceinline void
   Options::_I::solution(Gist::Inspector* i) {
-    _solution[n_solution++] = i;
+    _solution[static_cast<int>(n_solution++)] = i;
   }
   forceinline void
   Options::_I::move(Gist::Inspector* i) {
-    _move[n_move++] = i;
+    _move[static_cast<int>(n_move++)] = i;
   }
   forceinline void
   Options::_I::compare(Gist::Comparator* i) {
-    _compare[n_compare++] = i;
+    _compare[static_cast<int>(n_compare++)] = i;
   }
   forceinline Gist::Inspector*
   Options::_I::click(unsigned int i) const {
Index: gecode/gist/gist.hpp
===================================================================
--- gecode/gist/gist.hpp	(revision 11751)
+++ gecode/gist/gist.hpp	(working copy)
@@ -160,19 +160,19 @@
 
   forceinline void
   Options::_I::click(Inspector* i) {
-    _click[n_click++] = i;
+    _click[static_cast<int>(n_click++)] = i;
   }
   forceinline void
   Options::_I::solution(Inspector* i) {
-    _solution[n_solution++] = i;
+    _solution[static_cast<int>(n_solution++)] = i;
   }
   forceinline void
   Options::_I::move(Inspector* i) {
-    _move[n_move++] = i;
+    _move[static_cast<int>(n_move++)] = i;
   }
   forceinline void
   Options::_I::compare(Comparator* c) {
-    _compare[n_compare++] = c;
+    _compare[static_cast<int>(n_compare++)] = c;
   }
   forceinline Inspector*
   Options::_I::click(unsigned int i) const {