forge-joniko/ldc-startcoq
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix comp alleg

Browse source
This commit is contained in:
Jérémy Munsch 2023-08-16 12:30:43 +02:00
parent 634dbe832e
commit d9c132ad25
No known key found for this signature in database
GPG key ID: 18361AF3BFEC0FEC
1 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
database/migrations/2023_08_14_124752_migrate_oci_tables.php
View file

@ -303,7 +303,10 @@ return new class extends Migration
$claim = null;
if ($row->COMP_ALLEG) {
try {
$claim = $resolveAllegation($row->COMP_ALLEG);
if (!$resolveAllegation($row->COMP_ALLEG)->equals(ClaimEnum::others)) {
throw new \Error("`{$row->COMP_ALLEG}` is not resolved as `other`");
}
$claim = $row->COMP_ALLEG;
} catch (\Exception) {
throw new \Error("`{$row->COMP_ALLEG}` not found");
}