diff --git a/examples/tests/SatSolverTests.cs b/examples/tests/SatSolverTests.cs
index c83c24a66a..2658fbfe54 100644
--- a/examples/tests/SatSolverTests.cs
+++ b/examples/tests/SatSolverTests.cs
@@ -402,7 +402,17 @@ namespace Google.OrTools.Tests
                 { ""name"": ""E"", ""domain"": [ ""0"", ""9"" ] }
               ],
               ""constraints"": [
-                { ""allDiff"": { ""vars"": [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 ] } },
+                { ""allDiff"": { ""exprs"": [
+                    { ""vars"": [""0""], ""coeffs"": [""1""] },
+                    { ""vars"": [""1""], ""coeffs"": [""1""] },
+                    { ""vars"": [""2""], ""coeffs"": [""1""] },
+                    { ""vars"": [""3""], ""coeffs"": [""1""] },
+                    { ""vars"": [""4""], ""coeffs"": [""1""] },
+                    { ""vars"": [""5""], ""coeffs"": [""1""] },
+                    { ""vars"": [""6""], ""coeffs"": [""1""] },
+                    { ""vars"": [""7""], ""coeffs"": [""1""] },
+                    { ""vars"": [""8""], ""coeffs"": [""1""] },
+                    { ""vars"": [""9""], ""coeffs"": [""1""] } ] } },
                 { ""linear"": { ""vars"": [ 6, 5, 9, 4, 3, 7, 8, 2, 0, 1 ], ""coeffs"": [ ""1"", ""0"", ""-1"", ""100"", ""1"", ""-1000"", ""-100"", ""10"", ""10"", ""1"" ], ""domain"": [ ""0"", ""0"" ] } }
               ]
             }";