Skip to content

Commit

Permalink
Browse files Browse the repository at this point in the history
Fix bug causing numRingLib to fail to load.
  • Loading branch information
mn200 committed Aug 4, 2011
1 parent 7d77e3c commit 87ad8d9
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions src/ring/src/ringLib.sml
Expand Up @@ -50,9 +50,9 @@ fun polynom_sign ty ring =
end

fun spolynom_sign ty sring =
let val (P,M) = case map sring_field [`SRP ^sring`,`SRM ^sring`]
of [P,M,N] => (P,M)
| _ => raise Match
let val (P,M) = case map sring_field [`SRP ^sring`,`SRM ^sring`] of
[P,M] => (P,M)
| _ => raise Match
in
{ Vars=inst_ty ty spvar,
Csts=inst_ty ty spcst,
Expand Down

0 comments on commit 87ad8d9

Please sign in to comment.