Skip to content

Commit c2c825e

Browse files
committed
Fix import
1 parent 924d60a commit c2c825e

File tree

1 file changed

+7
-3
lines changed

1 file changed

+7
-3
lines changed

src/bloqade/analysis/validation/nocloning/analysis.py

Lines changed: 7 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,11 @@
33
from kirin import ir
44
from kirin.analysis import Forward
55
from kirin.dialects import func
6-
from kirin.ir.exception import ValidationError
6+
from kirin.ir.exception import (
7+
ValidationError,
8+
DefiniteValidationError,
9+
PotentialValidationError,
10+
)
711
from kirin.analysis.forward import ForwardFrame
812
from kirin.validation.validationpass import ValidationPass
913

@@ -24,7 +28,7 @@
2428
from .lattice import May, Top, Must, Bottom, QubitValidation
2529

2630

27-
class QubitValidationError(ValidationError):
31+
class QubitValidationError(DefiniteValidationError):
2832
"""ValidationError for definite (Must) violations with concrete qubit addresses."""
2933

3034
qubit_id: int
@@ -36,7 +40,7 @@ def __init__(self, node: ir.IRNode, qubit_id: int, gate_name: str):
3640
self.gate_name = gate_name
3741

3842

39-
class PotentialQubitValidationError(ValidationError):
43+
class PotentialQubitValidationError(PotentialValidationError):
4044
"""ValidationError for potential (May) violations with unknown addresses."""
4145

4246
gate_name: str

0 commit comments

Comments
 (0)