diff --git a/.gitmodules b/.gitmodules index aa7eefd..b6bb26d 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,4 @@ [submodule "rsdd"] path = rsdd + branch = rsdd-dice url = https://github.com/SHoltzen/rsdd diff --git a/rsdd b/rsdd index 4363f65..fcb5726 160000 --- a/rsdd +++ b/rsdd @@ -1 +1 @@ -Subproject commit 4363f659b33d21575eebfe0e96c773afe4bcc6a5 +Subproject commit fcb5726952b39bdc224623603c53d4e7d4326310